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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Theory and Applications of Satisfiability Testing

8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Language EnglishEnglish
Book Paperback
Book Theory and Applications of Satisfiability Testing Fahiem Bacchus
Libristo code: 01560772
Publishers Springer, Berlin, November 2004
This book constitutes the refereed proceedings of the 8th International Conference on Theory and App... Full description
? points 132 b
54.42 €
106.43  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Roloff/Matek Bauteilkatalog Hermann Roloff / Book Paperback
common.buy 39.93 € 78.10 лв
THE CLIMBER 09 SHINICHI SAKAMOTO / Book Paperback
common.buy 10.19 € 19.92 лв
Die Reformation der Leasingbilanzierung nach IFRS Marc Jung / Book Paperback
common.buy 47.54 € 92.97 лв
Pilates: Rutinas de 5 Minutos Para Cualquier Persona, Cualquier Momento, Cualquier Lugar Karen Smith / Book Paperback
common.buy 9.98 € 19.52 лв
L'Archeologie Chretienne A Rome: Une Visite Aux Catacombes Pelagaud-E / Book Paperback
common.buy 13.08 € 25.59 лв
Złuda Agata Kunderman / Book Paperback
common.buy 10.34 € 20.23 лв
Les racines idéologiques du fascisme Gaucher / Book Paperback
common.buy 41.64 € 81.44 лв
Eres tu realidad VAN DER WATER / Book Paperback
common.buy 17.74 € 34.69 лв
Pokoj A kde ho nájsť Christopher Papadopoulos / Book Paperback
common.buy 7.55 € 14.76 лв
El coche Igloo Books / Book Paperback
common.buy 9.88 € 19.31 лв
Estudios sobre representaciones alquímicas Jung / Book Paperback
common.buy 43.66 € 85.39 лв
Apprenticeship Training: A Model for the Future? Rainer Winkelmann / Book Paperback
common.buy 66.94 € 130.92 лв
Encyclopedie Theologique 48-49. Dictionnaire Des Sciences Occultes. T. 2: Ma-Zu Jacques Albin Simon Collin De Plancy / Book Paperback
common.buy 36.16 € 70.71 лв
A componente sócio-cultural na sala de aula do ELE na Costa do Marfim Chiadon Jeanne Agnissan / Book Paperback
common.buy 58.40 € 114.22 лв
Gyere Janne Teller / Book Hardback
common.buy 10.39 € 20.33 лв
Nouvelles sur le sentiment amoureux Montalbetti / Book Paperback
common.buy 20.07 € 39.25 лв
J'ai décidé d'être heureux... C'est bon pour la santé Stéphane Garnier / Book Paperback
common.buy 19.03 € 37.22 лв
Centropen Akvarelové fixy 8683, sada 12 ks / Stationery items Stationery items
common.buy 12.15 € 23.77 лв
El golem : tradiciones mágicas y místicas del judaísmo sobre la creación de un hombre artificial Moshe Idel / Book Paperback
common.buy 43.24 € 84.58 лв
Ein kurzer Rückblick auf 30 Jahre Bildungsforschung am Beispiel des SOEP Livia Sommer / Book Paperback
common.buy 15.26 € 29.84 лв
Die Beziehungen zwischen den USA und Venezuela Susanne Pfeiffer / Book Paperback
common.buy 52.35 € 102.38 лв
Malta - 1.000 Teile (Puzzle) / Game/Toy Game
common.buy 33.00 € 64.54 лв

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005.§The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial applications, specific tools, case studies, and empirical results.

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 Theory and Applications of Satisfiability Testing
Author Fahiem Bacchus, Toby Walsh
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 492
EAN 9783540262763
ISBN 3540262768
Libristo code 01560772
Publishers Springer, Berlin
Weight 708
Dimensions 155 x 235 x 25

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

You might also be interested in

Toddler abc alphabet coloring book for kids: Fun with Numbers, Letters, Shapes, Colors, Animals: Big Activity Workbook for Toddlers & Kids 3-8, abc Leo Jordan Um / Book Paperback
common.buy 6.20 € 12.13 лв
Beale Air Force Base During the Cold War James B. Quest / Book Hardback
common.buy 24.57 € 48.05 лв
Our Vicar Wynter Frore Knight / Book Paperback
common.buy 20.89 € 40.87 лв
The Fantastic Flatulent Fart Brothers' Big Book of Farty Facts M. D. Whalen / Book Paperback
common.buy 9.93 € 19.42 лв
Memoir of an Iraqi Woman Doctor Saniha Amin Zaki / Book Paperback
common.buy 17.48 € 34.19 лв
How To Increase Memory And Brain Power: Proven Strategies On How To Increase Brain Capacity, Speed and Power Adam Ross / Book Paperback
common.buy 10.19 € 19.92 лв
Under the Chilian Flag Harry Collingwood / Book Paperback
common.buy 10.34 € 20.23 лв
Getting to Know You and the Height of Intimacy Donna Muhlenkort / Book Paperback
common.buy 14.79 € 28.93 лв
The Gods, Lightning and Fire Levi K Castle / Book Paperback
common.buy 21.98 € 42.99 лв
Normie "The Military Brat" Tracey L Dragon / Book Paperback
common.buy 9.88 € 19.31 лв
Valkyrie Mike Sims / Book Paperback
common.buy 14.79 € 28.93 лв
Immigrant ROXANA NASTASE / Book Paperback
common.buy 13.60 € 26.60 лв
history of India John Dowson / Book Paperback
common.buy 30.72 € 60.09 лв
National Geographic Readers: Hedgehogs (Level 1) National Geographic Kids / Book Hardback
common.buy 19.55 € 38.24 лв
The Lily Of The Valley And The Gallery Of Antiquities (1900) Honore De Balzac / Book Paperback
common.buy 42.98 € 84.07 лв
Never Flirt with a Femme Fatale P I CICI McNair / Book Paperback
common.buy 14.27 € 27.92 лв
Henry VI Part 2 Barbara A. Mowat / Book Paperback
common.buy 8.43 € 16.48 лв
Art of Overwatch, Volume 2 Matt Burns / Book Hardback
common.buy 39.31 € 76.89 лв
Handbook of School Violence and School Safety Shane Jimerson / E-book Adobe ePub DRM
common.buy 213.54 € 417.66 лв
The Letters of Madame, the Correspondence of Elisabeth-Charlotte of Bavaria, Princesse Palatine, Duchess of Orleans, Called Madame at the Court of Kin Gertrude Scott Stevenson / Book Paperback
common.buy 24.05 € 47.04 лв
Handbook Of Chemistry And Physics Chemical Rubber Company / Book Paperback
common.buy 24.05 € 47.04 лв
The Law of Musical and Dramatic Copyright Edward Cutler / Book Hardback
common.buy 31.60 € 61.81 лв
Sprinkles & Jimmies, Two Dogs, One Tale Mary Kelly / Book Hardback
common.buy 18.00 € 35.20 лв
What in Me is Dark Orlando Reade / Book Hardback
common.buy 24.88 € 48.66 лв

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?