Tie Breaking in Clause Weighting Local Search for SAT.

Valnir Ferreira Jr.John Thornton

Published in: Australian Conference on Artificial Intelligence (2005)

Keyphrases

satisfiability testing
tie breaking
propositional logic
sat problem
objective function
computational complexity
satisfiability problem