Dynamic Variable Filtering for Hard Random 3-SAT Problems.

Anbulagan John Thornton Abdul Sattar

Published in: Australian Conference on Artificial Intelligence (2003)

Keyphrases

sat problem
truth assignment
phase transition
random sat
random instances
constraint satisfaction problems
satisfiability problem
sat solvers
randomly generated
propositional satisfiability
decision making
search algorithm
sat solving