Global Cut Framework for Removing Symmetries
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Groups and Constraints: Symmetry Breaking during Search
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Breaking Row and Column Symmetries in Matrix Models
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
The Complexity of Symmetry-Breaking Formulas
Annals of Mathematics and Artificial Intelligence
A SAT Approach to Query Optimization in Mediator Systems
Annals of Mathematics and Artificial Intelligence
Constraints
Thesis: symmetry breaking ordering constraints
AI Communications
Symmetry breaking ordering constraints: Thesis
AI Communications
A Grouping Genetic Algorithm Using Linear Linkage Encoding for Bin Packing
Proceedings of the 10th international conference on Parallel Problem Solving from Nature: PPSN X
Discovering near symmetry in graphs
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Tractable symmetry breaking for CSPs with interchangeable values
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Local symmetry breaking during search in CSPs
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Compositional derivation of symmetries for constraint satisfaction
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
The challenge of exploiting weak symmetries
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
Symmetries and lazy clause generation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Hi-index | 0.00 |