Search alternatives:
swash » slash, swath, awash
swat » sweat, swan, stat
seat » set, seit, sea
xpath » path
smash » slash
sath » saith, sathi, path, salth, satzh
sathe » saithe, sathie, pathe, satze, sache, mathe, salthe, satzhe
sat » salt, satz
-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

2
Published 2017
Springer International Publishing
“... and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Derandomization of PPSZ for Unique-k-SAT -- Heuristics for Fast Exact Model Counting -- A Scalable...”
Cover Image
Read Now

4
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Latin Square of Order 10 -- Random 3-SAT and BDDs: The Plot Thickens Further -- Capturing Structure...”