0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

SAT 2005 - Satisfiability Research in the Year 2005 (Hardcover, 2006 ed.) Loot Price: R4,519
Discovery Miles 45 190
SAT 2005 - Satisfiability Research in the Year 2005 (Hardcover, 2006 ed.): Enrico Giunchiglia, Toby Walsh

SAT 2005 - Satisfiability Research in the Year 2005 (Hardcover, 2006 ed.)

Enrico Giunchiglia, Toby Walsh

 (sign in to rate)
Loot Price R4,519 Discovery Miles 45 190 | Repayment Terms: R423 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book is devoted to recent progress made 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. The core of many reasoning problems in automated deduction are propositional. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. In 1957, Allen Newell and Herb Simon introduced the Logic Theory Machine to prove propositional theorems from Whitehead and Russel's Principia mathematica. ...] This book follows on from the highly successful volume entitled SAT 2000 published five years ago. The papers in SAT 2005 fall (not entirely neatly) into the following categories: complete methods, local and stochastic search methods, random problems, applications, and extensions beyond the propositional.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: October 2006
First published: December 2006
Editors: Enrico Giunchiglia • Toby Walsh
Dimensions: 235 x 155 x 17mm (L x W x T)
Format: Hardcover
Pages: 293
Edition: 2006 ed.
ISBN-13: 978-1-4020-4552-3
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 1-4020-4552-2
Barcode: 9781402045523

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

African Artificial Intelligence…
Mark Nasila Paperback R350 R312 Discovery Miles 3 120
Digital Dharma - How AI Can Elevate…
Deepak Chopra Paperback R440 R393 Discovery Miles 3 930
Artificial Intelligence for Neurological…
Ajith Abraham, Sujata Dash, … Paperback R4,171 Discovery Miles 41 710
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,242 Discovery Miles 12 420
Machine Learning and Data Mining
I Kononenko, M Kukar Paperback R2,019 Discovery Miles 20 190
Deceitful Media - Artificial…
Simone Natale Hardcover R2,585 Discovery Miles 25 850
Intelligent Communication Systems…
Nobuyoshi Terashima Hardcover R1,611 Discovery Miles 16 110
Constructions at Work - The nature of…
Adele Goldberg Hardcover R2,133 Discovery Miles 21 330
Taking The Anxiety Out Of AI - Humans…
Sameer Rawjee Paperback R320 R275 Discovery Miles 2 750
AI Engineering - Building Applications…
Chip Huyen Paperback R1,817 R1,386 Discovery Miles 13 860
Happimetrics - Leveraging AI to Untangle…
Peter A. Gloor Hardcover R2,984 Discovery Miles 29 840
Advanced Introduction to Law and…
Woodrow Barfield, Ugo Pagallo Paperback R716 Discovery Miles 7 160

See more

Partners