2 options
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.).
LIBRA QA9.3 .S365 2005
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- SAT 2005 (2005 : St. Andrews, Scotland)
- Series:
- Lecture notes in computer science 0302-9743 ; 3569.
- Lecture notes in computer science, 0302-9743 ; 3569
- Language:
- English
- Subjects (All):
- Propositional calculus--Congresses.
- Propositional calculus.
- Decision making--Congresses.
- Decision making.
- Computer algorithms--Congresses.
- Computer algorithms.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- xii, 492 pages : illustrations ; 24 cm.
- Other Title:
- SAT 2005
- Place of Publication:
- Berlin ; New York : Springer, 2005.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540262768
- OCLC:
- 60676968
- Publisher Number:
- 9783540262763
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.