Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, Tx, Usa, September, (Paperback)

Name: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, Tx, Usa, September, (Paperback)
Brand: Marijn Heule
SKU: prod_afa69e8054f05dc4352e5654
Price: 150.00 USD
Availability: InStock

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, Tx, Usa, September, (Paperback) Author: Springer ISBN: 9783319243177 Format: Paperback Publication Date: 2015-11-04 Page Count: 436

Shipping & Returns

Price unavailable

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, Tx, Usa, September, (Paperback)—

$150.00

Price unavailable

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, Tx, Usa, September, (Paperback)—

$150.00