Search alternatives:
swash » slash, swath, smash
sat » salt, satz
Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...-Behavior by Weighted MSO Logics -- Solving minones-2-sat as Fast as vertex cover -- Unambiguous Finite...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Modelling and Verifying Mobile Systems Using ?-Graphs -- On Some SAT-Variants over Linear Formulas...”