A random base change algorithm for permutation groups
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A fast cyclic base change for permutation groups
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Solving difficult SAT instances in the presence of symmetry
Proceedings of the 39th annual Design Automation Conference
Backtrack searching in the presence of symmetry
Nordic Journal of Computing
Dynamic Bundling: Less Effort for More Solutions
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Groups and Constraints: Symmetry Breaking during Search
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
The Complexity of Symmetry-Breaking Formulas
Annals of Mathematics and Artificial Intelligence
Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points
Annals of Mathematics and Artificial Intelligence
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Exploiting functional dependencies in declarative problem specifications
Artificial Intelligence
Generalizing Boolean satisfiability I: background and survey of existing work
Journal of Artificial Intelligence Research
Solving strategies for highly symmetric CSPs
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Exploiting symmetry in lifted CSPs
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Dynamic symmetry breaking restarted
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Detecting and breaking symmetries by reasoning on problem specifications
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Rainbow cliques and the classification of small BLT-sets
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Classifying discrete objects with orbiter
ACM Communications in Computer Algebra
Hi-index | 0.00 |