An Investigation of Variable Relationships in 3-SAT Problems.
Olena KravchukWayne J. PullanJohn ThorntonAbdul SattarPublished in: Australian Joint Conference on Artificial Intelligence (2002)
Keyphrases
- sat problem
- satisfiability problem
- sat solvers
- constraint satisfaction problems
- phase transition
- randomly generated
- np complete
- max sat
- boolean satisfiability
- propositional satisfiability
- stochastic local search
- sat solving
- decision problems
- np complete problems
- constraint satisfaction
- first order logic
- cellular automata
- boolean formula
- truth assignment