Konferenzschrift | Kongress
Theory and applications of satisfiability testing : 13th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642141850
- Dimensions
-
24 cm
- Extent
-
XIII, 400 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6175
- Keyword
-
Erfüllbarkeitsproblem
Erfüllbarkeitsproblem
Boolesche Formel
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2010
- Contributor
-
Strichman, Ofer
SAT (13 : 2010 : Edinburgh)
- 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:37 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
- Strichman, Ofer
- SAT (13 : 2010 : Edinburgh)
- Springer
Time of origin
- 2010
Other Objects (12)
Theory and applications of satisfiability testing : 10th international conference ; proceedings
Theory and applications of satisfiability testing : 9th international conference ; proceedings
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 : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
Theory and applications of satisfiability testing : 16th international conference ; proceedings
Entertainment computing : 13th international conference ; proceedings
Discovery science : 13th international conference ; proceedings
Genetic programming : 13th European conference ; proceedings
Web engineering : 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 application of satisfiability testing : 14th international conference ; proceedings
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
Theory and applications of satisfiability testing : 16th international conference ; proceedings
Entertainment computing : 13th international conference ; proceedings
Discovery science : 13th international conference ; proceedings
Genetic programming : 13th European conference ; proceedings
Web engineering : 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 application of satisfiability testing : 14th international conference ; proceedings
Theory and applications of satisfiability testing : 11th international conference ; proceedings
Theory and applications of satisfiability testing : 8th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
Theory and applications of satisfiability testing : 15th international conference ; proceedings
Theory and applications of satisfiability testing : 16th international conference ; proceedings
Entertainment computing : 13th international conference ; proceedings
Discovery science : 13th international conference ; proceedings
Genetic programming : 13th European conference ; proceedings