Criticality and Parallelism in Structured SAT Instances.

Published in: CP (2002)

Keyphrases

sat instances
sat solvers
satisfiability problem
randomly generated
sat problem
phase transition
random instances
computational properties
random sat instances
temporal logic
stochastic local search
boolean satisfiability
genetic algorithm
constraint satisfaction problems