Monografie
Theory and applications of satisfiability testing : 12th international conference ; proceedings
- Sprache
-
Englisch
- Umfang
-
XII, 540 S.
- ISBN
-
978-3-642-02776-5
- Identifier
-
994680260
- Reihe
-
Lecture notes in computer science; Vol. 5584
Thema
Erfüllbarkeitsproblem ; Boolesche Formel ; Constraint-Programmierung ; Konferenzschrift Swansea; Kongress Swansea <2009>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:32 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Algebra and coalgebra in computer science : first international conference ; proceedings
Computability and complexity in analysis : 4th international workshop ; selected papers
Logical approaches to computational barriers : proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Theory and applications of satisfiability testing : 16th international conference ; proceedings
Theory and applications of satisfiability testing : 6th international conference ; selected revised papers
Theory and application of satisfiability testing : 14th international conference ; proceedings
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Algebra and coalgebra in computer science : first international conference ; proceedings
Computability and complexity in analysis : 4th international workshop ; selected papers
Logical approaches to computational barriers : proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Theory and applications of satisfiability testing : 16th international conference ; proceedings
Theory and applications of satisfiability testing : 6th international conference ; selected revised papers
Theory and application of satisfiability testing : 14th international conference ; proceedings
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Algebra and coalgebra in computer science : first international conference ; proceedings
Computability and complexity in analysis : 4th international workshop ; selected papers
Logical approaches to computational barriers : proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Theory and applications of satisfiability testing : 16th international conference ; proceedings
Theory and applications of satisfiability testing : 6th international conference ; selected revised papers