search for books and compare prices
Theory and Applications of Satisfiability Testing: Sat 2015: 18th International Conference
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
With Marijn Heule (other contributor) |
from Springer-Verlag New York Inc (November 4, 2015)
9783319243177 | details & prices | List price $95.00
About: This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015.
About: This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015.