Generating effective symmetry-breaking predicates for search problems-Reference-Cited by-同舟云学术

Generating effective symmetry-breaking predicates for search problems

Published:2007-06 Issue:12 Volume:155 Page:1539-1548
ISSN:0166-218X
Container-title:Discrete Applied Mathematics
language:en
Short-container-title:Discrete Applied Mathematics

Author:

Shlyakhter Ilya

Publisher

Elsevier BV

Subject

Applied Mathematics,Discrete Mathematics and Combinatorics

Reference26 articles.

1. F. Aloul, I. Markov, K. Sakallah, Efficient symmetry-breaking for Boolean satisfiability, in: International Joint Conference on Artificial Intelligence (IJCAI), 2003.

2. R. Bayardo, J. Pehoushek, Counting models using connected components, in: AAAI Proceedings, 2000.

3. A. Biere, A. Cimatti, E. Clarke, Y. Zhu, Symbolic Model Checking Without BDDs, Lecture Notes in Computer Science, vol. 1579, 1999, pp. 193–207. URL 〈http://citeseer.nj.nec.com/article/biere99symbolic.html〉.

4. J. Crawford, M. Ginsberg, E. Luks, A. Roy, Symmetry-breaking predicates for search problems, in: Fifth International Conference on Principles of Knowledge Representation and Reasoning, 1996.

5. R. Dechter, D. Frost, Backtracking algorithms for constraint satisfaction problems, Technical Report 56, UC-Irvine, 1999.

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding;IEEE Transactions on Software Engineering;2023

2. Symmetry Breaking for Voting Mechanisms*;Evolutionary Computation;2023

3. Breaking Symmetries with High Dimensional Graph Invariants and Their Combination;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2023

4. SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

5. On the geometry of symmetry breaking inequalities;Mathematical Programming;2022-05-26