Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses.

Shaowei Cai Kaile Su

Published in: IJCAI (2013)

Keyphrases

satisfiability testing
search algorithm
search space
boolean satisfiability
simulated annealing
stochastic local search
search strategies
random sat instances
constraint satisfaction problems
combinatorial optimization
search strategy
sat solvers
propositional logic
propositional satisfiability
clause learning