Konferenzschrift | Kongress
Theory and applications of satisfiability testing : 8th international conference ; proceedings
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540262763
3540262768
- Maße
-
24 cm
- Umfang
-
XII, 492 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 3569
- Klassifikation
-
Informatik
- Schlagwort
-
Erfüllbarkeitsproblem
Erfüllbarkeitsproblem
Boolesche Formel
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
2005
- Beteiligte Personen und Organisationen
-
Bacchus, Fahiem
SAT (8 : 2005 : Saint Andrews)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:10 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Bacchus, Fahiem
- SAT (8 : 2005 : Saint Andrews)
- Springer
Entstanden
- 2005
Ähnliche Objekte (12)
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
Theory and applications of satisfiability testing : 16th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Theory and applications of satisfiability testing : 6th international conference ; selected revised papers
Theory and applications of satisfiability testing : 7th international conference ; revised selected papers
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
Theory and applications of satisfiability testing : 16th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Theory and applications of satisfiability testing : 6th international conference ; selected revised papers
Theory and applications of satisfiability testing : 7th international conference ; revised selected papers
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
Theory and applications of satisfiability testing : 16th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Theory and applications of satisfiability testing : 6th international conference ; selected revised papers