Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
GLS courier 4.99 €
DPD courier 4.49 €
DPD point 3.49 €
Shopping guide
My account
▸
Empty :-(
0
Language
English
English
Book
Paperback
This book covers recent progress in solving propositional satisfiability and related problems. Propo...
Full description
Libristo code: 09160830
?
333 b
333 b
136.09
€
VAT included
In stock at our supplier
Shipping in 5-8 days
Delivery to Austria
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Paperback
23.69
€
/
Paperback
15.59
€
/
Paperback
13.99
€
/
Paperback
43.49
€
/
Paperback
25.69
€
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.§
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
SAT 2005
Author
Enrico Giunchiglia, Toby Walsh
Language
English
English
Binding
Book - Paperback
Date of issue
2014
Number of pages
293
EAN
9789400787155
ISBN
9789400787155
Libristo code
09160830
Publishers
Springer
Weight
462
Dimensions
155 x 235 x 16
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
15.39
€
/
Paperback
37.29
€
/
Paperback
75.09
€
/
Paperback
11.59
€