Search results for "Symmetry-breaking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
126	Inês Lynce, João Marques-Silva 0001	Breaking Symmetries in SAT Matrix Models.	SAT	2007	DBLP DOI BibTeX RDF
121	Yat Chiu Law, Jimmy H. M. Lee	Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Value symmetries, Constraint satisfaction, Symmetry breaking
103	Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith	Conditional Symmetry Breaking.	CP	2005	DBLP DOI BibTeX RDF
95	James Coplien, Liping Zhao 0001	Symmetry Breaking in Software Patterns.	GCSE	2000	DBLP DOI BibTeX RDF
93	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren 0002	Dynamic structural symmetry breaking for constraint satisfaction problems.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Dominance detection, CSP, Tractability, Symmetry breaking
85	Hui Wang, Guangle Yan	Symmetry Breaking in the Evolution of World Economic Structure.	Complex (1)	2009	DBLP DOI BibTeX RDF	world economic structure, economic long wave, international division of labor, symmetry breaking, technology innovation
84	Belaid Benhamou, Mohamed Réda Saïdi	Local Symmetry Breaking During Search in CSPs.	CP	2007	DBLP DOI BibTeX RDF
81	Daniel S. Heller, Meinolf Sellmann	Dynamic Symmetry Breaking Restarted.	CP	2006	DBLP DOI BibTeX RDF
76	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck	Static and Dynamic Structural Symmetry Breaking.	CP	2006	DBLP DOI BibTeX RDF
76	Iain McDonald, Barbara M. Smith	Partial Symmetry Breaking.	CP	2002	DBLP DOI BibTeX RDF
75	Daniel S. Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip	Model Restarts for Structural Symmetry Breaking.	CP	2008	DBLP DOI BibTeX RDF
73	Yat Chiu Law, Jimmy Ho-Man Lee	Breaking value symmetries in matrix models using channeling constraints.	SAC	2005	DBLP DOI BibTeX RDF	CSP, symmetry breaking
73	Steven D. Prestwich	Negative Effects of Modeling Techniques on Search Performance.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	implied constraints, modeling, search, symmetry breaking
71	Jason M. Daida	Characterizing the dynamics of symmetry breaking in genetic programming.	GECCO	2006	DBLP DOI BibTeX RDF	graphics techniques, data structures, computational geometry, design patterns, tree, symmetry breaking, analysis methods
71	Eugene M. Luks, Amitabha Roy 0001	The Complexity of Symmetry-Breaking Formulas.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	lex-leader formulas, symmetry in search, symmetry-breaking
69	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Dynamic symmetry-breaking for improved Boolean optimization.	ASP-DAC	2005	DBLP DOI BibTeX RDF
67	Paul C. Bressloff	Spontaneous symmetry breaking in self-organizing neural fields.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
65	Nicolas Barnier, Pascal Brisset	Solving the Kirkman's Schoolgirl Problem in a Few Seconds.	CP	2002	DBLP DOI BibTeX RDF	Social Golfer Problem, Resolvable Steiner Systems, Symmetry Breaking
65	Johannes Schneider 0002, Roger Wattenhofer	A new technique for distributed symmetry breaking.	PODC	2010	DBLP DOI BibTeX RDF	parallel algorithms, coloring, local algorithms, symmetry breaking, network decomposition
65	Torsten Fahle, Stefan Schamberger, Meinolf Sellmann	Symmetry Breaking.	CP	2001	DBLP DOI BibTeX RDF	symmetry breaking during search, n-queens problem, golfer problem, graph partitioning
62	Xiaohui Ji, Feifei Ma, Jian Zhang 0001	Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
62	João Marques-Silva 0001, Inês Lynce, Vasco M. Manquinho	Symmetry Breaking for Maximum Satisfiability.	LPAR	2008	DBLP DOI BibTeX RDF
62	Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov	Efficient Symmetry Breaking for Boolean Satisfiability.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	clause learning, satisfiability (SAT), symmetries, conjunctive normal form (CNF), Backtrack Search, graph automorphism
62	Jean-Francois Puget	Symmetry Breaking Using Stabilizers.	CP	2003	DBLP DOI BibTeX RDF
62	Iain McDonald	NuSBDS: An Easy to Use Symmetry Breaking System.	CP	2003	DBLP DOI BibTeX RDF
56	Miroslav N. Velev, Ping Gao 0002	Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems.	DATE	2008	DBLP DOI BibTeX RDF
56	Tom Kelsey, Steve Linton, Colva M. Roney-Dougal	New Developments in Symmetry Breaking in Search Using Computational Group Theory.	AISC	2004	DBLP DOI BibTeX RDF
56	Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah	Shatter: efficient symmetry-breaking for boolean satisfiability.	DAC	2003	DBLP DOI BibTeX RDF	clause learning, logic simplification, routing, symmetries, SAT, CNF, backtrack search, graph automorphism
53	Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan	Constraint Symmetry for the Soft CSP.	CP	2007	DBLP DOI BibTeX RDF
51	Nicolas Barnier, Pascal Brisset	Solving Kirkman's Schoolgirl Problem in a Few Seconds.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	social golfer problem, resolvable steiner systems, symmetry breaking
51	Satya Krishna Pindiproli, Kishore Kothapalli	The Power of Orientation in Symmetry-Breaking.	AINA	2010	DBLP DOI BibTeX RDF	oriented graphs, fractional independent set, distributed algorithms, symmetry breaking
50	Toni Mancini, Marco Cadoli	Detecting and Breaking Symmetries by Reasoning on Problem Specifications.	SARA	2005	DBLP DOI BibTeX RDF
48	Paul G. Spirakis, Basil Tampakas, Athanasios Tsiolis	Symmetry Breaking in Asynchronous Rings with O(n) Messages.	WDAG	1989	DBLP DOI BibTeX RDF
47	Jean-Francois Puget	Automatic Detection of Variable and Value Symmetries.	CP	2005	DBLP DOI BibTeX RDF
45	Ashish Sabharwal	SymChaff: exploiting symmetry in a structure-aware satisfiability solver.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	SymChaff, Complete multi-class symmetry, Global symmetry, High-level representation, Planning, SAT, Boolean satisfiability
45	Roman Barták, Daniel Toropila	Revisiting Constraint Models for Planning Problems.	ISMIS	2009	DBLP DOI BibTeX RDF	Planning, lifting, symmetry breaking, constraint models
45	Xiangxue Jia, Jian Zhang 0001	A Powerful Technique to Eliminate Isomorphism in Finite Model Search.	IJCAR	2006	DBLP DOI BibTeX RDF	LNH, DASH, scheme, Isomorphism, symmetry breaking
42	Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal	Snake Lex: An Alternative to Double Lex.	CP	2009	DBLP DOI BibTeX RDF
42	Toby Walsh	General Symmetry Breaking Constraints.	CP	2006	DBLP DOI BibTeX RDF
41	Bas Schaafsma, Marijn Heule, Hans van Maaren	Dynamic Symmetry Breaking by Simulating Zykov Contraction.	SAT	2009	DBLP DOI BibTeX RDF
34	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Solving difficult instances of Boolean satisfiability in the presence of symmetry.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
34	Sriram V. Pemmaraju, Aravind Srinivasan	The Randomized Coloring Procedure with Symmetry-Breaking.	ICALP (1)	2008	DBLP DOI BibTeX RDF
34	Feifei Ma, Jian Zhang 0001	Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.	PRICAI	2008	DBLP DOI BibTeX RDF
34	Leo Liberti	Automatic Generation of Symmetry-Breaking Constraints.	COCOA	2008	DBLP DOI BibTeX RDF
34	George Katsirelos, Nina Narodytska, Toby Walsh	Combining Symmetry Breaking and Global Constraints.	CSCLP	2008	DBLP DOI BibTeX RDF
34	Joshua A. Grochow, Manolis Kellis	Network Motif Discovery Using Subgraph Enumeration and Symmetry-Breaking.	RECOMB	2007	DBLP DOI BibTeX RDF
34	Steven D. Prestwich, Andrea Roli	Symmetry Breaking and Local Search Spaces.	CPAIOR	2005	DBLP DOI BibTeX RDF
34	Karen E. Petrie	Comparison of Symmetry Breaking Methods.	CP	2003	DBLP DOI BibTeX RDF
34	Iain McDonald	Partial Symmetry Breaking.	CP	2002	DBLP DOI BibTeX RDF
34	Giuseppe Parlati, Moti Yung	Non-Exploratory Self-Stabilization for Constant-Space Symmetry-Breaking.	ESA	1994	DBLP DOI BibTeX RDF
31	Yunhao Fu, Tianjun Li, Longjie Ran, Zheng Sun	Gaugino Masses from Misaligned Supersymmetry Breaking and R-Symmetry Breaking Spurions.	Symmetry	2023	DBLP DOI BibTeX RDF
31	Jimmy H. M. Lee, Zichen Zhu	Towards breaking more composition symmetries in partial symmetry breaking.	Artif. Intell.	2017	DBLP DOI BibTeX RDF
31	Eli Gafni	The extended BG-simulation and the characterization of t-resiliency.	STOC	2009	DBLP DOI BibTeX RDF	solvability, t-resiliency, decidability, symmetry breaking, wait-freedom, renaming
31	Fabian Kuhn	Weak graph colorings: distributed algorithms and applications.	SPAA	2009	DBLP DOI BibTeX RDF	deterministic symmetry breaking, distributed algorithms, locality, graph coloring
31	Shantanu Das 0001, Matús Mihalák, Rastislav Srámek, Elias Vicari, Peter Widmayer	Rendezvous of Mobile Agents When Tokens Fail Anytime.	OPODIS	2008	DBLP DOI BibTeX RDF	Faulty Token, Fault Tolerance, Mobile Agents, Asynchronous, Rendezvous, Symmetry-breaking, Anonymous Networks
31	Fabian Kuhn, Roger Wattenhofer	On the complexity of distributed graph coloring.	PODC	2006	DBLP DOI BibTeX RDF	distributed algorithms, locality, graph coloring, chromatic number, symmetry breaking, neighborhood graph
31	Irit Dinur, Ehud Friedgut, Guy Kindler, Ryan O'Donnell	On the fourier tails of bounded functions over the discrete cube.	STOC	2006	DBLP DOI BibTeX RDF	boolean functions, Fourier analysis, symmetry-breaking
31	John Tromp, Paul M. B. Vitányi	Randomized two-process wait-free test-and-set.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Test-and-set objects, Asynchronous distributed protocols, Wait-free read/write registers, Fault-tolerance, Randomized algorithms, Shared memory, Atomicity, Symmetry breaking, Adaptive adversary
31	Alessandro Panconesi, Marina Papatriantafilou, Philippas Tsigas, Paul M. B. Vitányi	Randomized Naming Using Wait-Free Shared Variables.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Naming problem, Unique process ID, Asynchronous distributed protocols, Wait-free read/write registers, Test-and-set objects, Fault-tolerance, Randomized algorithms, Shared memory, Atomicity, Symmetry breaking, Adaptive adversary
31	Josyula R. Rao	Eventual determinism: using probabilistic means to achieve deterministic ends.	HICSS (2)	1995	DBLP DOI BibTeX RDF	eventual determinism, eventually-determining algorithms, worst case complexity bound, parallel algorithms, computational complexity, self-stabilization, conflict resolution, deterministic algorithms, deterministic algorithms, probabilistic algorithms, randomised algorithms, symmetry breaking, determinacy, parallel algorithm design
31	Jaap-Henk Hoepman	Uniform Deterministic Self-Stabilizing Ring-Orientation on Odd-Length Rings.	WDAG	1994	DBLP DOI BibTeX RDF	Communication, Synchronization, Shared Memory, Self-Stabilization, Orientation, Rings, Symmetry Breaking
30	Arianna Borrelli	Between symmetry and asymmetry: spontaneous symmetry breaking as narrative knowing.	Synth.	2021	DBLP DOI BibTeX RDF
30	Luciano Boi	Symmetry and Symmetry Breaking in Physics: From Geometry to Topology.	Symmetry	2021	DBLP DOI BibTeX RDF
30	Jacques Kengne, Sandrine Zoulewa Dountsop, Jean Chamberlain Chedjou, Khabibullo Nosirov	The Effects of Symmetry Breaking Perturbation on the Dynamics of a Novel Chaotic System with Cyclic Symmetry: Theoretical Analysis and Circuit Realization.	Int. J. Bifurc. Chaos	2021	DBLP DOI BibTeX RDF
30	Giuseppe Mazzeo 0003, Sergio Abbate, Stefan E. Boiadjiev, David A. Lightner, Giovanna Longhi	Vibrational Circular Dichroism Detects Symmetry Breaking due to Conformational Mobility in C2-Symmetry Chiral Molecules and Provides Further Insight into Inter-Chromophoric Interactions.	Symmetry	2020	DBLP DOI BibTeX RDF
30	Pascale Bendotti, Pierre Fouilhoux, Cécile Rottner	Symmetry-breaking inequalities for ILP with structured sub-symmetry.	Math. Program.	2020	DBLP DOI BibTeX RDF
30	Hendrik Richter 0001	Generating symmetry and symmetry breaking in sand-bubbler patterns.	ALIFE	2020	DBLP DOI BibTeX RDF
30	Rodrigue Konan Tchinda, Clémentin Tayou Djamégni	Enhancing Static Symmetry Breaking with Dynamic Symmetry Handling in CDCL SAT Solvers.	Int. J. Artif. Intell. Tools	2019	DBLP DOI BibTeX RDF
30	Hendrik Richter 0001	Analyzing symmetry and symmetry breaking by computational aesthetic measures.	CoRR	2019	DBLP BibTeX RDF
30	Pascale Bendotti, Pierre Fouilhoux, Cécile Rottner	Sub-Symmetry-Breaking Inequalities for ILP with Structured Symmetry.	IPCO	2019	DBLP DOI BibTeX RDF
30	Hakan Metin, Souheib Baarir, Fabrice Kordon	Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving.	NFM	2019	DBLP DOI BibTeX RDF
30	Hendrik Schawe, Jitesh Kumar Jha, Alexander K. Hartmann	Replica Symmetry and Replica Symmetry Breaking for the Traveling Salesperson Problem.	CoRR	2018	DBLP BibTeX RDF
30	Christopher Hojny, Marc E. Pfetsch	Symmetry Handling via Symmetry Breaking Polytopes.	CTW	2015	DBLP BibTeX RDF
30	Guillaume Vasseur, Yannick Fagot-Revurat, Bertrand Kierren, Muriel Sicot, Daniel Malterre	Effect of Symmetry Breaking on Electronic Band Structure: Gap Opening at the High Symmetry Points.	Symmetry	2013	DBLP DOI BibTeX RDF
30	Jo Devriendt, Bart Bogaerts 0001, Broes De Cat, Marc Denecker, Christopher Mears	Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.	ICTAI	2012	DBLP DOI BibTeX RDF
30	Siddhartha Sen 0002	Symmetry, Symmetry Breaking and Topology.	Symmetry	2010	DBLP DOI BibTeX RDF
30	Liping Zhao 0001	Patterns, symmetry, and symmetry breaking.	Commun. ACM	2008	DBLP DOI BibTeX RDF
30	Prashant G. Mehta, Gregory Hagen, Andrzej Banaszuk	Symmetry and Symmetry-Breaking for a Wave Equation with Feedback.	SIAM J. Appl. Dyn. Syst.	2007	DBLP DOI BibTeX RDF
30	Lucia Russo, Silvestro Crescitelli, Erasmo Mancusi, Pier Luca Maffettone	Nonlinear Analysis of a Network of Three Continuous Stirred Tank Reactors with Periodic Feed Switching: Symmetry and Symmetry-Breaking.	Int. J. Bifurc. Chaos	2004	DBLP DOI BibTeX RDF
30	Chris J. S. Webber	Self-Organization of Symmetry Networks: Transformation Invariance from the Spontaneous Symmetry-Breaking Mechanism.	Neural Comput.	2000	DBLP DOI BibTeX RDF
30	Franco di Primio	Symmetry and symmetry-breaking in multiagent behavior.	Artif. Life Robotics	1998	DBLP DOI BibTeX RDF
28	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli	Evaluating ASP and Commercial Solvers on the CSPLib.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
28	Peter Tiño	Critical Temperatures for Intermittent Search in Self-Organizing Neural Networks.	PPSN	2006	DBLP DOI BibTeX RDF
28	Iván Dotú, Pascal Van Hentenryck	Scheduling Social Golfers Locally.	CPAIOR	2005	DBLP DOI BibTeX RDF
28	Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo, Irene Barba 0001	Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems.	CAEPIA	2005	DBLP DOI BibTeX RDF
28	Shoucheng Zhang	The Intrinsic Spin Hall Effect.	ICMENS	2005	DBLP DOI BibTeX RDF
28	Arathi Ramani, Igor L. Markov	Automatically Exploiting Symmetries in Constraint Programming.	CSCLP	2004	DBLP DOI BibTeX RDF
28	Simon Colton, Ian Miguel	Constraint Generation via Automated Theory Formation.	CP	2001	DBLP DOI BibTeX RDF
28	Paul G. Spirakis, Basil Tampakas	Efficient Distributed Algorithms by Using the Archemedean Time Assumption.	STACS	1988	DBLP DOI BibTeX RDF
27	Yoshiyuki Asai, Taishin Nomura, Shunsuke Sato, Akira Tamaki, Yoshimi Matsuo, Isao Mizukura, Kazuo Abe	A coupled oscillator model of disordered interlimb coordination in patients with Parkinson's disease.	Biol. Cybern.	2003	DBLP DOI BibTeX RDF
27	Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton	Generic SBDD Using Computational Group Theory.	CP	2003	DBLP DOI BibTeX RDF
22	Pascal Van Hentenryck, Laurent Michel	The Steel Mill Slab Design Problem Revisited.	CPAIOR	2008	DBLP DOI BibTeX RDF
22	Yat Chiu Law, Jimmy Ho-Man Lee	Global Constraints for Integer and Set Value Precedence.	CP	2004	DBLP DOI BibTeX RDF
22	Alan M. Frisch, Christopher Jefferson, Ian Miguel	Constraints for Breaking More Row and Column Symmetries.	CP	2003	DBLP DOI BibTeX RDF
20	Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip	Breaking Symmetry of Interchangeable Variables and Values.	CP	2007	DBLP DOI BibTeX RDF
20	Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah	Breaking Instance-Independent Symmetries in Exact Graph Coloring.	DATE	2004	DBLP DOI BibTeX RDF
20	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Solving difficult SAT instances in the presence of symmetry.	DAC	2002	DBLP DOI BibTeX RDF	difficult, faster, search, symmetry, SAT, CNF, speed-up, instances
20	Israel Cidon, Yuval Shavitt	Message Terminate Algorithms for Anonymous Rings of Unknown Size.	WDAG	1992	DBLP DOI BibTeX RDF
20	Naziru M. Awal, Irving R. Epstein, Tasso J. Kaper, Theodore Vo	Strong Symmetry Breaking in Coupled, Identical Lengyel-Epstein Oscillators via Folded Singularities.	J. Nonlinear Sci.	2024	DBLP DOI BibTeX RDF
20	Yupeng Leng, Chengming He, Qian Wang, Zhixia He, Nigel Simms, Peng Zhang	Symmetry-Breaking-Induced Internal Mixing Enhancement of Droplet Collision.	Symmetry	2024	DBLP DOI BibTeX RDF