SAT 2005 Satisfiability Research in the Year 2005 /

SAT 2005 Satisfiability Research in the Year 2005 /

Show other versions (1)

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

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Giunchiglia, Enrico (Editor), Walsh, Toby (Editor)
Format: Electronic eBook
Language:English
Published: Dordrecht : Springer Netherlands, 2006.
Subjects:
Computer science.
Software engineering.
Computers.
Artificial intelligence.
Computer Science.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Theory of Computation.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items