A Hike in the Phases of the 1-in-3 Satisfiability

Elitza N. Maneva Talya Meltzer Jack Raymond Andrea Sportiello Lenka Zdeborová

Published in: CoRR (2007)

Keyphrases

satisfiability problem
np complete
computational complexity
phase transition
terminological reasoning
computer vision
propositional logic
sat problem
satisfiability testing
database
learning algorithm
artificial intelligence
search engine
multi agent
expert systems
sat solving