Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

SAT 2005

Satisfiability Research in the Year 2005

Language EnglishEnglish
Book Hardback
Book SAT 2005 Enrico Giunchiglia
Libristo code: 02120471
Publishers Springer-Verlag New York Inc., February 2006
This book covers recent progress in solving propositional satisfiability and related problems. Propo... Full description
? points 425 b
175.23 €
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

You might also be interested in

Faking Nature Robert Elliott / Book Paperback
common.buy 61.53 €

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
Ewa Kasp
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
Binding Book - Hardback
Date of issue 2006
Number of pages 293
EAN 9781402045523
ISBN 1402045522
Libristo code 02120471
Publishers Springer-Verlag New York Inc.
Weight 1320
Dimensions 155 x 235 x 25

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Artificial intelligence
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 address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?