Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings by Marijn HeuleTheory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings by Marijn Heule

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference…

EditorMarijn Heule, Sean Weaver

Paperback | November 4, 2015

Pricing and Purchase Info

$92.97 online 
$123.50 list price save 24%
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 2015: 18th International Conference…Format:PaperbackPublished:November 4, 2015Publisher:Springer International PublishingLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319243179

ISBN - 13:9783319243177

Look for similar items by category:

Reviews