Konferenzschrift | Kongress
Theory and application of satisfiability testing : 14th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642215803
3642215807
- Dimensions
-
24 cm
- Extent
-
XII, 380 S.
- Language
-
Englisch
- Notes
-
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6695
- Keyword
-
Erfüllbarkeitsproblem
Erfüllbarkeitsproblem
Boolesche Formel
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2011
- Contributor
-
Sakallah, Karem A.
Simon, Laurent
SAT (14 : 2011 : Ann Arbor, Mich.)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:55 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Sakallah, Karem A.
- Simon, Laurent
- SAT (14 : 2011 : Ann Arbor, Mich.)
- Springer
Time of origin
- 2011
Other Objects (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 : 8th 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 : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and applications of satisfiability testing : 8th 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 : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Theory and applications of satisfiability testing : 8th 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)