SAT 2005: Satisfiability Research in the Year 2005
In stock$28.00
Book FormatEbook
1
SKU:GC-5618044175
Comes to you in 4-8 business days though delays can occur.
Return your order within 30 days from delivery.
SAT 2005: Satisfiability Research in the Year 2005
$28.00
This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.
Book Details
- Authors: Enrico Giunchiglia, To Walsh
- Publisher: Springer
- eBook ISBN: 9781402055713, 1402055714
- Print ISBN: 9781402045523, 1402045522
- Other ISBNs: 9789400787155
Product Details
TypeBook
SKUGC-5618044175-BOOK
TagsNew Book, Education & Teaching
You May Also Like
View all →
Advances in Computer Science and Information Technology: First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I
$30.00
Designing Democracy Re-education and the America Houses (19451961)- The American Information Centers and their Involvement in Democratic: Re-education in Western Germany and West Berlin from 1945 to 1961
$28.00
Advances in Neuroergonomics and Cognitive Engineering: Proceedings of the AHFE 2016 International Conference on Neuroergonomics and Cognitive Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA
$35.00
Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014), Aalborg, Denmark, February 4th - 7th, 2014: Twenty Years of Mass Customization - Towards New Frontiers
$90.00