The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Symmetry-breaking (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-1993 (15) 1994-1998 (15) 1999-2001 (15) 2002 (15) 2003 (21) 2004 (22) 2005 (17) 2006 (21) 2007 (16) 2008 (24) 2009 (28) 2010 (24) 2011 (20) 2012 (21) 2013 (19) 2014 (20) 2015 (23) 2016 (15) 2017 (24) 2018 (26) 2019 (27) 2020 (43) 2021 (41) 2022 (20) 2023 (31) 2024 (11)
Publication types (Num. hits)
article(322) incollection(1) inproceedings(248) phdthesis(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 154 occurrences of 95 keywords

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