phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Theory and Application of Satisfiability Testing

Language EnglishEnglish
Book Paperback
Book Theory and Application of Satisfiability Testing Karem A. Sakallah
Libristo code: 01658153
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2011
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Ap... Full description
? points 177 b
71.69 €
In stock at our supplier Shipping in 9-13 days

30-day return policy

You might also be interested in

Modernism and Eugenics Donald J. Childs / Paperback
common.buy 67.80 €
Fifty Years After the "Homage to Santa Rosalia": Old and New Paradigms on Biodiversity in Aquatic Ecosystems Luigi Naselli-Flores / Paperback
common.buy 182.11 €
F.I.P. - Pensionsplan - eine kritische Analyse Yury Evteev / Paperback
common.buy 47.52 €
Wie schieße ich richtig? Fritz Lang / Hardback
common.buy 21.81 €

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.§The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.

About the book

Full name Theory and Application of Satisfiability Testing
Author Karem A. Sakallah, Laurent Simon
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 371
EAN 9783642215803
ISBN 3642215807
Libristo code 01658153
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 597
Dimensions 155 x 235 x 23

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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