Tuning Local Search for Satisfiability Testing.

Andrew J. Parkes Joachim P. Walser

Published in: AAAI/IAAI, Vol. 1 (1996)

Keyphrases

satisfiability testing
propositional logic
tie breaking
model counting
tuning parameters
rule selection
fine tuning
weighted model counting
database
data sets
parameter tuning
physical design