Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vie by Carsten SinzTheory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vie by Carsten Sinz

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held…

byCarsten SinzEditorUwe Egly

Paperback | August 4, 2014

Pricing and Purchase Info

$92.97 online 
$110.50 list price save 15%
Earn 465 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held…Format:PaperbackDimensions:448 pagesPublished:August 4, 2014Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319092839

ISBN - 13:9783319092836

Look for similar items by category:

Reviews