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
DPD courier 4.99 €
GLS courier 9.99 €
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
?
373 b
373 b
154.71
€
In stock at our supplier
Shipping in 5-8 days
Up to 30 days for returns
Customers also purchased
/
Paperback
29.19
€
/
Paperback
19.15
€
/
Paperback
16.82
€
/
Paperback
49.97
€
/
Paperback
29.49
€
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
17.53
€
/
Paperback
42.88
€
/
Paperback
87.89
€
/
Paperback
11.24
€