Symmetry in Constraint Programming
作者： Ian P. Gent , Karen E. Petrie , Jean-François Puget
DOI: 10.1016/S1574-6526(06)80014-3
关键词:
摘要: Publisher Summary This chapter reviews that symmetry in constraints has always been important but in recent years has become a major research area in its own right. A key …
st-andrews.ac.uk
sci-hub.se 参考文章(94)
Alasdair Urquhart, The symmetry rule in propositional logic Discrete Applied Mathematics. ,vol. 96, pp. 177- 193 ,(1999) , 10.1016/S0166-218X(99)00039-6
Jeffrey S. Leon, Permutation group algorithms based on partitions, I: Theory and algorithms Journal of Symbolic Computation. ,vol. 12, pp. 533- 583 ,(1991) , 10.1016/S0747-7171(08)80103-4
Alastair Donaldson, Alice Miller, Muffy Calder, Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models Electronic Notes in Theoretical Computer Science. ,vol. 139, pp. 3- 23 ,(2005) , 10.1016/J.ENTCS.2005.09.007
Alastair F. Donaldson, Alice Miller, Muffy Calder, Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis Electronic Notes in Theoretical Computer Science. ,vol. 128, pp. 161- 177 ,(2005) , 10.1016/J.ENTCS.2005.04.010
Yat Chiu Law, Jimmy HM Lee, Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction Constraints - An International Journal. ,vol. 11, pp. 221- 267 ,(2006) , 10.1007/S10601-006-7095-8
Carmen Gervet, Interval propagation to reason about sets: Definition and implementation of a practical language Constraints - An International Journal. ,vol. 1, pp. 191- 244 ,(1997) , 10.1007/BF00137870
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Solving difficult SAT instances in the presence of symmetry design automation conference. pp. 731- 736 ,(2002) , 10.1145/513918.514102
Tom Kelsey, Steve Linton, Colva Roney-Dougal, New Developments in Symmetry Breaking in Search Using Computational Group Theory artificial intelligence and symbolic computation. pp. 199- 210 ,(2004) , 10.1007/978-3-540-30210-0_17
H. E. Dixon, M. L. Ginsberg, D. Hofer, E. M. Luks, A. J. Parkes, Generalizing Boolean satisfiability III: implementation Journal of Artificial Intelligence Research. ,vol. 23, pp. 441- 531 ,(2005) , 10.1613/JAIR.1656
S. Prestwich, Negative Effects of Modeling Techniques on Search Performance Annals of Operations Research. ,vol. 118, pp. 137- 150 ,(2003) , 10.1023/A:1021809724362