Library of American University of Madaba

Normal View MARC View ISBD View

Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / SAT 2005 Fahiem Bacchus, Toby Walsh (eds.). - New York : Springer, 2005. - xii, 492 p. : ill. ; 24 cm. - Lecture notes in computer science ; 3569 0302-9743 ; .

Includes bibliographical references and index.



ISBN: 9783540262763 3540262768 (pbk.)

Subjects--Topical Terms:
Propositional calculus--Congresses.
Decision making--Congresses.
Computer algorithms--Congresses.

Dewey Class. No.: 511.3 / S253