C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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