Search alternatives:
slas » slabs, seas, sas
sath » sathe, saith, sathi, salth, satzh
swat » sweat, swan, seat
sat » salt, satz
spate » spater, spaten, space
-plate » -plates
Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Runtime Distributions in Local Search -- Green-Tao Numbers and SAT -- Exact MinSAT Solving -- Uniquely...”
Cover Image
Read Now

2
by Kroening, Daniel, Strichman, Ofer
Published 2016
Springer Berlin Heidelberg
“..., and are routinely used in industry. The authors introduce the basic terminology of SAT, Satisfiability Modulo...”
Cover Image
Read Now

3
by Kroening, Daniel, Strichman, Ofer
Published 2008
Springer Berlin Heidelberg
“... techniques based on an interplay between a SAT solver and a decision procedure for the investigated theory...”