Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings /

Bibliographic Details
Corporate Authors:	SAT 2005 St. Andrews, Scotland, SpringerLink (Online service)
Other Authors:	Bacchus, Fahiem, Walsh, Toby
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2005.
Series:	Lecture notes in computer science. 3569.
Subjects:	Test de satisfaisabilité. Computer algorithms > Congresses. Decision making > Congresses. Propositional calculus > Congresses. Algorithmes > Congrès. Calcul propositionnel > Congrès. Prise de décision > Congrès. Algorithme. Calcul des propositions. Prise de décision (Mathématiques) Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	xii, 492 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	3540316795 9783540316794
ISSN:	0302-9743 ;
DOI:	10.1007/b137280