Symmetry and Satisfiability: An Update

DOI10.1007/978-3-642-14186-7_11zbMath1306.68160OpenAlexW1498992687MaRDI QIDQ4930583

Igor L. Markov, Karem A. Sakallah, Hadi Katebi

Publication date: 29 September 2010

Published in: Theory and Applications of Satisfiability Testing – SAT 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14186-7_11

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (8)

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems ⋮ Breaking symmetries in graph search with canonizing sets ⋮ On local domain symmetry for model expansion ⋮ Preprocessing of propagation redundant clauses ⋮ Orbital shrinking: theory and applications ⋮ Improved Static Symmetry Breaking for SAT ⋮ A Generic Framework for Engineering Graph Canonization Algorithms ⋮ Novel techniques to speed up the computation of the automorphism group of a graph

Uses Software

• nauty

This page was built for publication: Symmetry and Satisfiability: An Update