SAT 2005
Broschiertes Buch

SAT 2005

Satisfiability Research in the Year 2005

Herausgegeben: Giunchiglia, Enrico; Walsh, Toby
Versandkostenfrei!
Versandfertig in 6-10 Tagen
113,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
57 °P sammeln!
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 mathe...