Symmetry and Satisfiability: An Update

DOI10.1007/978-3-642-14186-7_11MaRDI QIDQ4930583zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Symmetry definitions for constraint satisfaction problems
• Symmetry Definitions for Constraint Satisfaction Problems
• Symmetry Breaking for Maximum Satisfiability
• Exploiting symmetry in SMT problems
• scientific article; zbMATH DE number 6854
• Symmetries of quantified Boolean formulas
• Symmetry in polyadic inductive logic
• Symmetry breaking constraints for value symmetries in constraint satisfaction
• Symmetrie elementarer Funktionen: Entscheidbarkeitsfragen und Algorithmen
• Symmetry in semidefinite programs

Cited in

(15)

• On implementing symmetry detection
• How to tidy up a symmetric set-system by use of uncrossing operations
• Symmetric explanation learning: effective dynamic symmetry handling for SAT
• Orbital shrinking: theory and applications
• Novel techniques to speed up the computation of the automorphism group of a graph
• Breaking symmetries in graph search with canonizing sets
• scientific article; zbMATH DE number 1664967 (Why is no real title available?)
• Improved static symmetry breaking for SAT
• Dealing with Symmetries in Modal Tableaux
• Parameterized complexity results in symmetry breaking
• On local domain symmetry for model expansion
• Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
• Symmetry Breaking for Maximum Satisfiability
• Preprocessing of propagation redundant clauses
• Dimension-reduction of dynamics on real-world networks with symmetry

Describes a project that uses

Uses Software

• nauty

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930583)