Sciweavers

80 search results - page 9 / 16
» Symmetry Breaking Constraints for Value Symmetries in Constr...
Sort
View
CP
2003
Springer
14 years 24 days ago
Constraints for Breaking More Row and Column Symmetries
Alan M. Frisch, Christopher Jefferson, Ian Miguel
ECAI
2000
Springer
13 years 12 months ago
Symmetry Breaking in Constraint Programming
Ian P. Gent, Barbara M. Smith
CPAIOR
2008
Springer
13 years 9 months ago
A Novel Approach For Detecting Symmetries in CSP Models
Abstract. While several powerful methods exist for automatically detecting symmetries in instances of constraint satisfaction problems (CSPs), current methods for detecting symmetr...
Christopher Mears, Maria J. García de la Ba...
JUCS
2007
118views more  JUCS 2007»
13 years 7 months ago
Satisfying Assignments of Random Boolean Constraint Satisfaction Problems: Clusters and Overlaps
: The distribution of overlaps of solutions of a random constraint satisfaction problem (CSP) is an indicator of the overall geometry of its solution space. For random k-SAT, nonri...
Gabriel Istrate