Search alternatives:
slash » flash, clash, slas
sheath » heath
swat » sweat, swan, seat
sat » salt, satz
spat » span, spam, spa
-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...”