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 2018
Springer International Publishing
Table of Contents: “... -- Binary Decision Diagrams -- BDD-Based Symbolic Model Checking -- Propositional SAT Solving -- SAT-Based...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
“... domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time...”
Cover Image
Read Now

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Generation of Unsatisfiability Proofs and Cores in SAT -- Justification-Based Local Search with Adaptive...”