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

5
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... algorithms for SAT: Worst-case analysis -- Speed is more powerful than clairvoyance -- Randomized online...”
Cover Image
Read Now

9
Published 1994
Springer Berlin Heidelberg
“...This volume constitutes the proceedings of SWAT '94, the 4th Scandinavian Workshop on Algorithm...”
Cover Image
Read Now

13
Published 1996
Springer Berlin Heidelberg
“... Theory, SWAT '96, held in Reykjavik, Iceland, in July 1996. The 35 full papers included in the book...”
Cover Image
Read Now

14
Published 1992
Springer Berlin Heidelberg
“...The papers in this volume were presented at SWAT 92, the Third Scandinavian Workshop on Algorithm...”
Cover Image
Read Now

15
Published 2019
Springer International Publishing
Table of Contents: “... Complexity of QBF Symmetry Recomputation -- Satisfiability Threshold for Power Law Random 2-SAT...”
Cover Image
Read Now

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

17
Published 2014
Springer International Publishing
Table of Contents: “...A (Biased) Proof Complexity Survey for SAT Practitioners -- Cores in Core Based MaxSat Algorithms...”
Cover Image
Read Now

18
Published 2018
Springer International Publishing
“... and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018. The 20 revised full papers...”
Cover Image
Read Now

19
Published 2016
Springer International Publishing
Table of Contents: “... -- The Normalized Autocorrelation Length of Max r-Sat Converges in Probability to (1-1/2=r)/r -- Tight Upper Bound...”
Cover Image
Read Now

20
Published 2012
Springer Berlin Heidelberg
“... and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full...”