Crawford, J., Luks, G., Ginsberg, M., Roy, A.: Symmetry Breaking Predicates for Search Problems. In Proc. of the 5th Int. Conf. on Knowledge Representation and Reasoning, pp. 148-159. (1996) Andras Kovacs and Jozsef Vancza Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Groups and Constraints: Symmetry Breaking during Search - Gent, Harvey, Kelsey (2002) (11 citations) (Correct)
....generated symmetry group. For example, to generate SN it is sucient to provide one permutation that switches exactly two elements, and another permutation that cycles each element by one position. The following GAP session illustrates this for the symmetric group on 7 points: gap p2 : PermList([2,3,4,5,6,7,1]) gap g : Group(p1,p2) gap Size(g) 5040 As a further example we generated the symmetry group of a square from one rotational symmetry and one ip symmetry in Section 2. The greatest number of generators needed is O(log 2 (N ) and this bound is reached only for a small class of ....
....within the backtrack search for a solution. It should be possible to implement the subsidiary search in GAP, leaving ECL to deal with the resulting (pruned) search tree. It would also be interesting to explore the application of our work to the satis ability problem, in which Crawford et al. [6] successfully applied group theoretic techniques. The second area is the extension of our approach to more practical CSP problems. In particular the areas of symmetry in model checking [4] and vehicle routing and scheduling [2] Acknowledgements. The St Andrews authors are assisted by EPSRC ....
J. Crawford, M. Ginsberg, E. Luks, and A. Roy, Symmetry breaking predicates for search problems, Proc. KR 96, Morgan Kaufmann, 1996, pp. 148-159.
The Complexity Of Symmetry-Breaking Formulas - Luks, Roy (2004) Self-citation (Luks Roy) (Correct)
No context found.
J. Crawford, M. Ginsberg, E.M. Luks and A. Roy, Symmetry breaking predicates for search problems, in: Proceedings of the 5th International Conference on Knowledge Representation and Reasoning (KR'96) (1996) pp. 148--159.
Completable Partial Solutions in Constraint - Programming And Constraint-Based (Correct)
No context found.
Crawford, J., Luks, G., Ginsberg, M., Roy, A.: Symmetry Breaking Predicates for Search Problems. In Proc. of the 5th Int. Conf. on Knowledge Representation and Reasoning, pp. 148-159. (1996) Andras Kovacs and Jozsef Vancza
Novel Models and Algorithms for Integrated - Production Planning And (Correct)
No context found.
J. Crawford, G. Luks, M. Ginsberg, and A. Roy. Symmetry breaking predicates for search problems. In Proc. of the 5th International Conference on Knowledge Representation and Reasoning, pages 148--159, 1996.
Submitted to the Department of Electrical Engineering and.. - Science In Partial (Correct)
No context found.
J.M. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry breaking predicates for search problems. In Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996.
Submitted to the Department of Electrical Engineering and.. - Science In Partial (Correct)
No context found.
J. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry-breaking predicates for search problems. In Fifth International Conference on Principles of Knowledge Representation and Reasoning, 1996.
TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004) (1 citation) (Correct)
No context found.
J. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry-breaking predicates for search problems. In Proc. Fifth International Conference on Principles of Knowledge Representation and Reasoning, 1996.
Unknown - (Correct)
No context found.
J. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry-breaking predicates for search problems. In Proc. Fifth International Conference on Principles of Knowledge Representation and Reasoning, 1996.
Structural Symmetry Breaking - Meinolf Sellmann And (2005) (Correct)
No context found.
J. Crawford, M. Ginsberg, E. Luks, A. Roy. Symmetry-breaking predicates for search problems. Proc. KR'96, 149--159, 1996.
Structural Symmetry Breaking - Meinolf Sellmann And (2005) (Correct)
No context found.
J. Crawford, M. Ginsberg, E. Luks, A. Roy. Symmetry-breaking predicates for search problems. Proc. KR'96, 149--159, 1996.
Symmetry Reduction and Heuristic Search for Error Detection in.. - Lafuente (Correct)
No context found.
J. Crawford, M. Ginsberg, E. Liks, and A. Roy. Symmetry-breaking predicates for search problem. In Principles of Knowledge Representation and Reasoning, 1996.
Global Constraints for Integer and Set Value Precedence - Law, Lee (Correct)
No context found.
J. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry-breaking predicates for search problems. In Proceedings of KR-96, pages 148--159, 1996.
Breaking Instance-Independent Symmetries in Exact Graph.. - Ramani, Aloul, Markov.. (2004) (1 citation) (Correct)
No context found.
J. Crawford et. al, "Symmetry-breaking predicates for search problems", in Proc. of the Intl. Conf. on Principles of Knowledge Representation and Reasoning, 148-159, 1996.
Combining Branch&Bound and SBDD to Solve Soft CSPs - Bistarelli, O'Sullivan (2004) (Correct)
No context found.
J. Crawford, G. Luks, M. Ginsberg, and A. Roy. Symmetry breaking predicates for search problems. In Proceedings of the Fifth International Conference on Knowledge Representation and Reasoning -- KR-96, pages 148--159, 1996.
Solving Difficult Instances of Boolean Satisfiability .. - Aloul, Ramani.. (2003) (Correct)
No context found.
J. Crawford, M. Ginsberg, E. Luks, and A. Roy, "Symmetry-breaking predicates for search problems," in Proc. 5th Int. Conf. Principles Knowledge Representation Reasoning, Cambridge, MA, 1996, pp. 148--159.
A Case for Ecient Solution Enumeration - Sarfraz Khurshid Darko (2003) (Correct)
No context found.
J. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry-breaking predicates for search problems. In Proc. Fifth International Conference on Principles of Knowledge Representation and Reasoning, 1996.
Symmetry Breaking in Soft CSPs - Bistarelli, Kelleher, O'Sullivan (2003) (Correct)
No context found.
J. Crawford, G. Luks, M. Ginsberg, and A. Roy. Symmetry breaking predicates for search problems. In Proceedings of the Fifth International Conference on Knowledge Representation and Reasoning -- KR-96, pages 148--159, 1996.
Using a Theorem Prover for Reasoning on Constraint Problems - Cadoli, Mancini (Correct)
No context found.
J. M. Crawford, M. L. Ginsberg, E. M. Luks, and A. Roy. Symmetry-breaking predicates for search problems. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR'96), pages 148-- 159, 1996.
Symmetry-breaking as a Prelude to Implied Constraints: A .. - Frisch, Jefferson.. (2004) (Correct)
No context found.
J. Crawford, M.L. Ginsberg, E. Luks, A. Roy. Symmetry-breaking predicates for search problems. In Proceedings of KR'96: Principles of Knowledge Representation and Reasoning, pp. 148--159, 1996.
Partial Symmetry Breaking - McDonald, Smith (2002) (8 citations) (Correct)
No context found.
James Crawford, Matthew Ginsberg, Eugene Luks, and Amitabha Roy. Symmetrybreaking predicates for search problems. In Knowledge Representation'96: Principles of Knowledge Representation and Reasoning, pages 148-159. Morgan Kaufmann, San Francisco, California, 1996.
Symmetry Breaking in Graceful Graphs - Petrie, Smith (2003) (Correct)
No context found.
J. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry-Breaking Predicates for Search Problems. In Proceedings KR'96, pages 149--159, Nov. 1996.
Symmetry Breaking in Soft CSPs - Stefano Bistarelli Istituto (2003) (Correct)
No context found.
J. Crawford, G. Luks, M. Ginsberg, and A. Roy. Symmetry breaking predicates for search problems. In Proceedings of KR-96, pages 148--159, 1996.
NuSBDS: Symmetry Breaking made Easy - McDonald (2003) (Correct)
No context found.
James Crawford, Matthew Ginsberg, Eugene Luks, and Amitabha Roy. Symmetrybreaking predicates for search problems. In Knowledge Representation'96: Principles of Knowledge Representation and Reasoning, pages 148-159. Morgan Kaufmann, San Francisco, California, 1996.
Symmetry Breaking in Soft CSPs - Stefano Bistarelli Istituto (2003) (Correct)
No context found.
J. Crawford, G. Luks, M. Ginsberg, and A. Roy. Symmetry breaking predicates for search problems. In Proceedings of the Fifth International Conference on Knowledge Representation and Reasoning -- KR-96, pages 148--159, 1996.
Detecting and Breaking Symmetries on Specifications - Cadoli, Mancini (2003) (Correct)
No context found.
J. M. Crawford, M. L. Ginsberg, E. M. Luks, and A. Roy. Symmetry-breaking predicates for search problems. In Proc. of KR'96, pages 148--159, 1996.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC