Search results for "symmetry breaking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Johannes Schneider, Roger Wattenhofer	A new technique for distributed symmetry breaking.	PODC	2010	DBLP DOI BibTeX RDF	parallel algorithms, coloring, local algorithms, symmetry breaking, network decomposition
3	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren	Dynamic structural symmetry breaking for constraint satisfaction problems.	Constraints	2009	DBLP DOI BibTeX RDF	Dominance detection, CSP, Tractability, Symmetry breaking
3	Hui Wang, Guangle Yan	Symmetry Breaking in the Evolution of World Economic Structure.	Complex	2009	DBLP DOI BibTeX RDF	world economic structure, economic long wave, international division of labor, symmetry breaking, technology innovation
3	Y. Law, J. Lee	Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction.	Constraints	2006	DBLP DOI BibTeX RDF	Value symmetries, Constraint satisfaction, Symmetry breaking
3	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
3	Eugene M. Luks, Amitabha Roy	The Complexity of Symmetry-Breaking Formulas.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	lex-leader formulas, symmetry in search, symmetry-breaking
3	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
2	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
2	Bas Schaafsma, Marijn Heule, Hans van Maaren	Dynamic Symmetry Breaking by Simulating Zykov Contraction.	SAT	2009	DBLP DOI BibTeX RDF
2	Xiaohui Ji, Feifei Ma, Jian Zhang 0001	Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
2	Roman Barták, Daniel Toropila	Revisiting Constraint Models for Planning Problems.	ISMIS	2009	DBLP DOI BibTeX RDF	Planning, lifting, symmetry breaking, constraint models
2	João Marques-Silva, Inês Lynce, Vasco M. Manquinho	Symmetry Breaking for Maximum Satisfiability.	LPAR	2008	DBLP DOI BibTeX RDF
2	Sriram V. Pemmaraju, Aravind Srinivasan	The Randomized Coloring Procedure with Symmetry-Breaking.	ICALP	2008	DBLP DOI BibTeX RDF
2	George Katsirelos, Nina Narodytska, Toby Walsh	Combining Symmetry Breaking and Global Constraints.	CSCLP	2008	DBLP DOI BibTeX RDF
2	Leo Liberti	Automatic Generation of Symmetry-Breaking Constraints.	COCOA	2008	DBLP DOI BibTeX RDF
2	Feifei Ma, Jian Zhang 0001	Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.	PRICAI	2008	DBLP DOI BibTeX RDF
2	Daniel S. Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip	Model Restarts for Structural Symmetry Breaking.	CP	2008	DBLP DOI BibTeX RDF
2	Joshua A. Grochow, Manolis Kellis	Network Motif Discovery Using Subgraph Enumeration and Symmetry-Breaking.	RECOMB	2007	DBLP DOI BibTeX RDF
2	Belaid Benhamou, Mohamed Réda Saïdi	Local Symmetry Breaking During Search in CSPs.	CP	2007	DBLP DOI BibTeX RDF
2	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
2	Daniel S. Heller, Meinolf Sellmann	Dynamic Symmetry Breaking Restarted.	CP	2006	DBLP DOI BibTeX RDF
2	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck	Static and Dynamic Structural Symmetry Breaking.	CP	2006	DBLP DOI BibTeX RDF
2	Toby Walsh	General Symmetry Breaking Constraints.	CP	2006	DBLP DOI BibTeX RDF
2	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
2	Paul C. Bressloff	Spontaneous symmetry breaking in self-organizing neural fields.	Biological Cybernetics	2005	DBLP DOI BibTeX RDF
2	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
2	Steven David Prestwich, Andrea Roli	Symmetry Breaking and Local Search Spaces.	CPAIOR	2005	DBLP DOI BibTeX RDF
2	Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith	Conditional Symmetry Breaking.	CP	2005	DBLP DOI BibTeX RDF
2	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
2	Nicolas Barnier, Pascal Brisset	Solving Kirkman's Schoolgirl Problem in a Few Seconds.	Constraints	2005	DBLP DOI BibTeX RDF	social golfer problem, resolvable steiner systems, symmetry breaking
2	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
2	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
2	Iain McDonald	NuSBDS: An Easy to Use Symmetry Breaking System.	CP	2003	DBLP DOI BibTeX RDF
2	Karen E. Petrie	Comparison of Symmetry Breaking Methods.	CP	2003	DBLP DOI BibTeX RDF
2	Jean-Francois Puget	Symmetry Breaking Using Stabilizers.	CP	2003	DBLP DOI BibTeX RDF
2	Steven David Prestwich	Negative Effects of Modeling Techniques on Search Performance.	Annals OR	2003	DBLP DOI BibTeX RDF	implied constraints, modeling, search, symmetry breaking
2	Iain McDonald	Partial Symmetry Breaking.	CP	2002	DBLP BibTeX RDF
2	Iain McDonald, Barbara M. Smith	Partial Symmetry Breaking.	CP	2002	DBLP BibTeX RDF
2	Nicolas Barnier, Pascal Brisset	Solving the Kirkman's Schoolgirl Problem in a Few Seconds.	CP	2002	DBLP BibTeX RDF	Social Golfer Problem, Resolvable Steiner Systems, Symmetry Breaking
2	James Coplien, Liping Zhao	Symmetry Breaking in Software Patterns.	GCSE	2000	DBLP DOI BibTeX RDF
2	Giuseppe Parlati, Moti Yung	Non-Exploratory Self-Stabilization for Constant-Space Symmetry-Breaking.	ESA	1994	DBLP DOI BibTeX RDF
2	Paul G. Spirakis, Basil Tampakas, Athanasios Tsiolis	Symmetry Breaking in Asynchronous Rings with O(n) Messages.	WDAG	1989	DBLP DOI BibTeX RDF
1	Steven David Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim	Partial symmetry breaking by local search in the group.	Constraints	2012	DBLP DOI BibTeX RDF
1	Heiko Hamann, Thomas Schmickl, Heinz Wörn, Karl Crailsheim	Analysis of emergent symmetry breaking in collective decision making.	Neural Computing and Applications	2012	DBLP DOI BibTeX RDF
1	Toby Walsh	Symmetry Breaking Constraints: Recent Results	CoRR	2012	DBLP BibTeX RDF
1	Qing Jin, Zhen Wang	Spontaneous Symmetry Breaking in Interdependent Networked Game	CoRR	2012	DBLP BibTeX RDF
1	Benjamin M. Zaidel, Ralf R. Müller, Aris L. Moustakas, Rodrigo de Miguel	Vector Precoding for Gaussian MIMO Broadcast Channels: Impact of Replica Symmetry Breaking.	IEEE Transactions on Information Theory	2012	DBLP DOI BibTeX RDF
1	Benjamin M. Zaidel, Ralf R. Müller, Aris L. Moustakas, Rodrigo de Miguel	Corrections to "Vector Precoding for Gaussian MIMO Broadcast Channels: Impact of Replica Symmetry Breaking".	IEEE Transactions on Information Theory	2012	DBLP DOI BibTeX RDF
1	Alberto Costa, Ider Tseveendorj	Symmetry Breaking Constraints for the Problem of Packing Equal Circles in a Square.	ICORES	2012	DBLP BibTeX RDF
1	Christoph Lenzen	Synchronization and symmetry breaking in distributed systems.		2011	RDF
1	Antoni Lozano	Symmetry Breaking in Tournaments.	Electronic Notes in Discrete Mathematics	2011	DBLP DOI BibTeX RDF
1	Fernando Antoneli, Michael Forger	Symmetry breaking in the genetic code: Finite groups.	Mathematical and Computer Modelling	2011	DBLP DOI BibTeX RDF
1	Dingping Li, B. Rosenstein, Shou Chen, H. H. Lin, D. Berco	Glass transition and the replica symmetry breaking in vortex matter: MC study.	Computer Physics Communications	2011	DBLP DOI BibTeX RDF
1	Sergio Grimbs, Anne Arnold, Aneta Koseska, Jürgen Kurths, Joachim Selbig, Zoran Nikoloski	Spatiotemporal dynamics of the Calvin cycle: Multistationarity and symmetry breaking instabilities.	Biosystems	2011	DBLP DOI BibTeX RDF
1	Christian Drescher, Oana Tifrea, Toby Walsh	Symmetry-breaking answer set solving.	AI Commun.	2011	DBLP DOI BibTeX RDF
1	H. Susanto, Panayotis G. Kevrekidis, F. Kh. Abdullaev, Boris A. Malomed	Symmetry breaking, coupling management, and localized modes in dual-core discrete nonlinear-Schrödinger lattices.	J. Computational Applied Mathematics	2011	DBLP DOI BibTeX RDF
1	Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh	Symmetry Breaking for Distributed Multi-Context Systems	CoRR	2011	DBLP BibTeX RDF
1	Onay Urfalioglu, Orhan Arikan	Symmetry Breaking in Neuroevolution: A Technical Report	CoRR	2011	DBLP BibTeX RDF
1	Terry Elliott	Stability Against Fluctuations: Scaling, Bifurcations, and Spontaneous Symmetry Breaking in Stochastic Models of Synaptic Plasticity.	Neural Computation	2011	DBLP DOI BibTeX RDF
1	Daniel Harabor	Graph Pruning and Symmetry Breaking on Grid Maps.	IJCAI	2011	DBLP BibTeX RDF
1	Justin Yip, Pascal Van Hentenryck	Symmetry Breaking via LexLeader Feasibility Checkers.	IJCAI	2011	DBLP BibTeX RDF
1	Maria Pia Fanti, Gabriella Stecco, Walter Ukovich	Solving scheduling problems in distribution centers using symmetry breaking constraints.	CASE	2011	DBLP DOI BibTeX RDF
1	Damien Imbs, Sergio Rajsbaum, Michel Raynal	The Universe of Symmetry Breaking Tasks.	SIROCCO	2011	DBLP DOI BibTeX RDF
1	Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh	Symmetry Breaking for Distributed Multi-Context Systems.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Damien Imbs, Sergio Rajsbaum, Michel Raynal	The universe of symmetry breaking tasks.	PODC	2011	DBLP DOI BibTeX RDF
1	Kuntal Mandal, Soumitro Banerjee, Chandan Chakraborty	Symmetry-breaking bifurcation in load resonant dc-dc converters.	ISCAS	2011	DBLP DOI BibTeX RDF
1	Christopher Jefferson, Karen E. Petrie	Automatic Generation of Constraints for Partial Symmetry Breaking.	CP	2011	DBLP DOI BibTeX RDF
1	Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz de Angulo, Carme Torras	Symmetry Breaking in Numeric Constraint Problems.	CP	2011	DBLP DOI BibTeX RDF
1	Rabah Amir, Filomena Garcia, Malgorzata Knauff	Symmetry-breaking in two-player games via strategic substitutes and diagonal nonconcavity: A synthesis.	J. Economic Theory	2010	DBLP DOI BibTeX RDF
1	Salvador A. Sartarelli, Leszek Szybisz, Ignacio Urrutia	Spontaneous Symmetry Breaking and First-Order Phase Transitions of Adsorbed fluids.	I. J. Bifurcation and Chaos	2010	DBLP DOI BibTeX RDF
1	Vyacheslav I. Yukalov	Systems with Symmetry Breaking and Restoration.	Symmetry	2010	DBLP DOI BibTeX RDF
1	Alejandro Cabo-Bizet, Alejandro Cabo Montes de Oca	Hartee Fock Symmetry Breaking Effects in La2CuO4: Hints for connecting the Mott and Slater Pictures and Pseudogap Prediction.	Symmetry	2010	DBLP DOI BibTeX RDF
1	Michiya Fujiki	Mirror Symmetry Breaking in Helical Polysilanes: Preference between Left and Right of Chemical and Physical Origin.	Symmetry	2010	DBLP DOI BibTeX RDF
1	Tomás Brauner	Spontaneous Symmetry Breaking and Nambu-Goldstone Bosons in Quantum Many-Body Systems.	Symmetry	2010	DBLP DOI BibTeX RDF
1	Rui Tamura, Sekai Iwama, Hiroki Takahashi	Chiral Symmetry Breaking Phenomenon Caused by a Phase Transition.	Symmetry	2010	DBLP DOI BibTeX RDF
1	Jian-Feng Li, Shi-Song Huang, Hong-Tao Feng, Wei-Min Sun, Hong-Shi Zong	Study of Dynamical Chiral Symmetry Breaking in (2 + 1) Dimensional Abelian Higgs Model.	Symmetry	2010	DBLP DOI BibTeX RDF
1	Siddhartha Sen 0002	Symmetry, Symmetry Breaking and Topology.	Symmetry	2010	DBLP DOI BibTeX RDF
1	Christian Drescher, Oana Tifrea, Toby Walsh	Symmetry-breaking Answer Set Solving	CoRR	2010	DBLP BibTeX RDF
1	Christian Drescher	Symmetry Breaking for Answer Set Programming	CoRR	2010	DBLP BibTeX RDF
1	George Katsirelos, Toby Walsh	Symmetries of Symmetry Breaking Constraints	CoRR	2010	DBLP BibTeX RDF
1	Tim Januschowski, Barbara M. Smith, Marc R. C. van Dongen	Symmetry Breaking with Polynomial Delay	CoRR	2010	DBLP BibTeX RDF
1	Benjamin M. Zaidel, Ralf R. Müller, Aris L. Moustakas, Rodrigo de Miguel	Vector Precoding for Gaussian MIMO Broadcast Channels: Impact of Replica Symmetry Breaking	CoRR	2010	DBLP BibTeX RDF
1	Toby Walsh	Parameterized Complexity Results in Symmetry Breaking	CoRR	2010	DBLP BibTeX RDF
1	Albert E. Parker, Alexander G. Dimitrov, Tomás Gedeon	Symmetry breaking in soft clustering decoding of neural codes.	IEEE Transactions on Information Theory	2010	DBLP DOI BibTeX RDF
1	George Katsirelos, Toby Walsh	Symmetries of Symmetry Breaking Constraints.	ECAI	2010	DBLP DOI BibTeX RDF
1	Chao Wu, Guang-zhong Sun, Guo-Liang Chen	Efficient Parallel Top-k Computation Algorithm Using Symmetry Breaking.	ISPA	2010	DBLP DOI BibTeX RDF
1	Toby Walsh	Parameterized Complexity Results in Symmetry Breaking.	IPEC	2010	DBLP DOI BibTeX RDF
1	Heiko Hamann, Bernd Meyer, Thomas Schmickl, Karl Crailsheim	A Model of Symmetry Breaking in Collective Decision-Making.	SAB	2010	DBLP DOI BibTeX RDF
1	Alberto Costa, Pierre Hansen, Leo Liberti	Static Symmetry Breaking in Circle Packing.	CTW	2010	DBLP BibTeX RDF
1	Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias	Analysis of invariants for efficient bounded verification.	ISSTA	2010	DBLP DOI BibTeX RDF	dynalloy, kodkod, sat-based code analysis, static analysis, alloy
1	M. J. Parker, M. G. M. Gomes, I. N. Stewart	Examples of Forced Symmetry-Breaking to heteroclinic Cycles and Networks in Three-Dimensional Euclidean-Invariant Systems.	I. J. Bifurcation and Chaos	2009	DBLP DOI BibTeX RDF
1	Jorge M. Pacheco, Flávio L. Pinheiro, Francisco C. Santos	Population Structure Induces a Symmetry Breaking Favoring the Emergence of Cooperation.	PLoS Computational Biology	2009	DBLP DOI BibTeX RDF
1	Matthieu Gilson, Anthony N. Burkitt, David B. Grayden, Doreen A. Thomas, J. Leo van Hemmen	Emergence of network structure due to spike-timing-dependent plasticity in recurrent neuronal networks. II. Input selectivity - symmetry breaking.	Biological Cybernetics	2009	DBLP DOI BibTeX RDF
1	George Katsirelos, Nina Narodytska, Toby Walsh	Combining Symmetry Breaking and Global Constraints	CoRR	2009	DBLP BibTeX RDF
1	George Katsirelos, Toby Walsh	Symmetries of Symmetry Breaking Constraints	CoRR	2009	DBLP BibTeX RDF
1	Toby Walsh	Symmetry Breaking Using Value Precedence	CoRR	2009	DBLP BibTeX RDF
1	Pierre Flener, Justin Pearson, Meinolf Sellmann	Static and dynamic structural symmetry breaking.	Ann. Math. Artif. Intell.	2009	DBLP DOI BibTeX RDF
1	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Dynamic symmetry-breaking for Boolean satisfiability.	Ann. Math. Artif. Intell.	2009	DBLP DOI BibTeX RDF
1	Raf Jans	Solving Lot-Sizing Problems on Parallel Identical Machines Using Symmetry-Breaking Constraints.	INFORMS Journal on Computing	2009	DBLP DOI BibTeX RDF
1	Gou Nishida, Motonobu Sugiura, Masaki Yamakita, Bernhard Maschke, Ryojun Ikeura	Boundary detection of variational symmetry breaking using port-representation of conservation laws.	CDC	2009	DBLP DOI BibTeX RDF