Symmetry and Satisfiability: An Update.

Hadi Katebi Karem A. Sakallah Igor L. Markov

Published in: SAT (2010)

Keyphrases

symmetry breaking
propositional logic
satisfiability problem
np complete
phase transition
symmetry detection
artificial intelligence
computational complexity
bilateral symmetry
database
data sets
databases
learning algorithm
decision procedures
update rules
terminological reasoning