Symmetry Breaking-Reference-Cited by-同舟云学术

Symmetry Breaking

Published:2001 Issue: Volume: Page:93-107
ISSN:0302-9743
Container-title:Principles and Practice of Constraint Programming — CP 2001
language:
Short-container-title:

Author:

Fahle Torsten,Schamberger Stefan,Sellmann Meinolf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45578-7_7

Reference10 articles.

1. J. C. Bermond and C. Peyrat. De bruijn and kautz networks: a competitor for the hypercube? Proc. of the 1st Europ. Workshop on Hypercubes and Distributed Computers, pp. 279–293, North-Holland, 1989.

2. CSPLib: a problem library for constraints, maintained by I. P. Gent, T. Walsh, B. Selman, http://www-users.cs.york.ac.uk/~tw/csplib/

3. Lect Notes Comput Sci;R. Feldmann,1997

4. I. P. Gent and B. Smith. Symmetry Breaking During Search in Constraint Programming. Proc. of ECAI’2000, Berlin, pp. 599–603, 2000.

5. F. T. Leighton. Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes. Morgan Kaufmann Publishers, 1992.

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

1. SAT Modulo Symmetries for Graph Generation and Enumeration;ACM Transactions on Computational Logic;2024-07-31

2. An Experience Report on the Optimization of the Product Configuration System of Renault ^*;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

3. 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

4. Metaheuristics for the template design problem: encoding, symmetry and hybridisation;Journal of Intelligent Manufacturing;2020-06-12

5. A Symmetry-Breaking Node Equivalence for Pruning the Search Space in Backtracking Algorithms;Symmetry;2019-10-15