C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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