Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /

Bibliographic Details
Corporate Authors:	SAT 2003 Santa Margherita Ligure, Italy, SpringerLink (Online service)
Other Authors:	Giunchiglia, Enrico, Tacchella, Armando
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 2919.
Subjects:	Propositional calculus > Congresses. Decision making > Congresses. Computer algorithms > Congresses. Algorithmes > Congrès. Calcul propositionnel > Congrès. Prise de décision > Congrès. Computer algorithms. Decision making. Propositional calculus. Calcul des propositions. Prise de décision (Mathématiques) Algorithme. Boolesche Formel. Erfüllbarkeitsproblem. Kongress. Electronic books. Conference proceedings. Santa Margherita Ligure (2003)
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2919

Remote Storage