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 Paperback
Book SAT 2005 Enrico Giunchiglia
Libristo code: 09160830
Publishers Springer, December 2014
This book covers recent progress in solving propositional satisfiability and related problems. Propo... Full description
? points 373 b
155.09 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Schnecken-Coaching Eckhard vom Frieden / Book Paperback
common.buy 9.14 €
Verlies van biodiversiteit in culturele werelderfgoedlocaties (kaja's) in Kenia / Book Paperback
common.buy 24.28 €
Einkauf Und Supply Chain Management Ronald Bogaschewsky / Book Paperback
common.buy 47.46 €
Meditazione natalizia per preadolescenti TALON REDFORD / Book Paperback
common.buy 13.00 €
Affordable
Ententýna Ivona Březinová / Book Hardback
common.buy 7.92 €
GESTION 1E/TERM BPRO GESTION-ADMINISTRATION POLES 1/2/3 LIC NUMERIQUE ELEVE I-MANUEL + OUV PAPIER Sylvie Chamillard / Book Paperback
common.buy 29.26 €
DIC.ESPAÑOL UNIVERSAL / Book Book
common.buy 9.54 €
England in Hitlers politischem Kalkül 1935-1939 Josef Henke / Book Hardback
common.buy 66.87 €
Maik - Der Heimweg Michael Arnold / Book Paperback
common.buy 9.14 €
Auf der Reeperbahn nachts um halb eins Gustav Kampendonk / Video DVD
common.buy 19.71 €
Le travail de l' obscure clarté dans le fantome de l'opéra de gaston leroux Casta isabelle rachel / Book Paperback
common.buy 19.20 €
Warum wir nach Anerkennung hungern Stefan Möller / Book Paperback
common.buy 30.08 €
Elan OLALLA PONS / Book Paperback
common.buy 20.32 €
Ansiedler an den Quellen des Susquehanna James Fenimore Cooper / Book Paperback
common.buy 17.98 €
Total Quality Management Gerold Gizycki / Book Paperback
common.buy 35.87 €
Nouvelles Lettres Du Grand Prophete: Nostradamus Eclairci, (Ed.1874) Henri Torne-Chavigny / Book Paperback
common.buy 16.86 €
Wertpapier-Investmentfonds in Lebensversicherungsunternehmen Rainer Pflaum / Book Paperback
common.buy 53.35 €
Deutsches Kolonial-Handbuch Rudolf Fitzner / Book Paperback
common.buy 44.71 €
Rapsu eļļa - izejviela inovatīvu poliuretānu materiālu ieguvei Fridrihsone-Girone Anda / Book Paperback
common.buy 50.10 €
Trilby George Du Maurier / Book Paperback
common.buy 16.25 €
Affordable
Deutsche Sprichwörter Karl Simrock / Book Paperback
common.buy 2.73 €
Deutsche Direktinvestitionen Fingerlos Uwe Rudolf / Book Paperback
common.buy 66.97 €
Kertomuksia Lapista osa 3 Juha Kivekäs / Book Hardback
common.buy 24.99 €
Metodos para la seleccion optima de carteras de proyectos Olmedo Perez Rafael Antonio / Book Paperback
common.buy 29.57 €

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 - 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

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Sarcoidosis Darren Harper / Book Hardback
common.buy 201.64 €
School Mentor Handbook Katherine Burn / Book Paperback
common.buy 77.64 €
Movement Ecology of Neotropical Forest Mammals Rafael Reyna-Hurtado / E-book Adobe ePub DRM
common.buy 174.91 €
Sanctuary Matthew Mather / Book Paperback
common.buy 19.40 €
Corps flottants GUISSET CONSTANCE / Book Paperback
common.buy 34.34 €
Why Smart, Creative and Highly Sensitive People Hurt: A Toolkit for Thriving in Chaotic World Anna Yusim / Book Paperback
common.buy 17.57 €
Analisis Comparativo Entre El Proceso Ante La Corte Penal Internacional Y Ante El Derecho Espanol Carlota Garcia Zapata / Book Paperback
common.buy 42.98 €
Strategic Utilization of Information Systems in Small Business M. Gordon Hunter / Book Hardback
common.buy 214.15 €
Athenaeum Raul Pompeia / Book Paperback
common.buy 19.10 €
Scoring Off the Field Kausik Bandyopadhyay / Book Paperback
common.buy 55.69 €
Trade, Transport and Society in the Ancient World (Routledge Revivals) Fik Meijer / Book Paperback
common.buy 88.11 €
Mayhem Harris / Book Paperback
common.buy 15.85 €
Buddha Nature Tina Draszcyk / Book Paperback
common.buy 13.30 €
International Democracy Assistance for Peacebuilding Sorpong Peou / Book Paperback
common.buy 53.55 €
Cathars, White Eagle and St John Colum Hayward / Book Paperback
common.buy 14.02 €
Addiction and Overdose: Confronting an American Crisis Connie Goldsmith / Book Hardback
common.buy 40.65 €
There Was a Boy Amber Robinson / Book Paperback
common.buy 15.85 €
Kew Pocketbooks: Carnivorous Plants ROYAL BOTANIC GARDEN / Book Hardback
common.buy 10.66 €
Naked in the Winter Wind Dani Haviland / Book Paperback
common.buy 16.66 €
River and Me 30 Day Devotional Breana Pope / Book Paperback
common.buy 12.19 €
Laehli and the Elephants Kellie Fitzgerald / Book Paperback
common.buy 13.41 €
Falling Deeper Anathema / Audio Audio CD
common.buy 17.98 €
Materials For A History Of Oil Painting (1847) Charles Lock Eastlake / Book Paperback
common.buy 46.03 €
Weapons of Mass Deception: How the government framed an intelligence analyst to suppress his report James Lowther / Book Paperback
common.buy 11.27 €

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