Search alternatives:
smash » slash
sweath » sheath, sweat, sweats
swat » sweat, swan, seat
sat » salt, satz
spath » spat, xpath, spate
-plate » -plates, -place
Cover Image
Read Now

1
Published 2006
Springer Netherlands
Table of Contents: “... Literal Elimination -- Clause Weighting Local Search for SAT -- Solving Non-Boolean Satisfiability...”
Cover Image
Read Now

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Strategies for Quantified Boolean Formulas -- Solving Error Correction for Large Data Sets by Means of a SAT...”