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

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 2004
Schriftenreihe:	Lecture notes in computer science 2919
Schlagworte:	Algorithme Algorithmes - Congrès Calcul des propositions Calcul propositionnel - Congrès Prise de décision (Mathématiques) Prise de décision - Congrès Computer algorithms > Congresses Decision making > Congresses Propositional calculus > Congresses Erfüllbarkeitsproblem Boolesche Formel Konferenzschrift > 2003 > Santa Margherita Ligure
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge