Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
|
Buy Now
Theory and Applications of Satisfiability Testing -- SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Paperback, 2012 ed.)
Loot Price: R1,651
Discovery Miles 16 510
|
|
Theory and Applications of Satisfiability Testing -- SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Paperback, 2012 ed.)
Series: Theoretical Computer Science and General Issues, 7317
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 15th
International Conference on Theory and Applications of
Satisfiability Testing, SAT 2012, held in Trento, Italy, in June
2012. The 29 revised full papers, 7 tool papers, and 16 poster
papers presented together with 2 invited talks were carefully
reviewed and selected from 112 submissions (88 full, 10 tool and 14
poster papers). The papers are organized in topical sections on
stochastic local search, theory, quantified Boolean formulae,
applications, parallel and portfolio approaches, CDCL SAT solving,
MAX-SAT, cores interpolants, complexity analysis, and circuits and
encodings.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
I Am Code
Brent Katz, Josh Morgenthau, …
Paperback
R390
R312
Discovery Miles 3 120
See more![](//cdn.loot.co.za/shop/img/arrow-right-white.gif)
|