Monografie
Theory and applications of satisfiability testing : 9th international conference ; proceedings
- Language
-
Englisch
- Extent
-
XII, 438 S.
- ISBN
-
978-3-540-37206-6
- Identifier
-
980561531
- Series
-
Lecture notes in computer science; Vol. 4121
Subject
Erfüllbarkeitsproblem ; Boolesche Formel ; Konferenzschrift Seattle (Wash.); Kongress Seattle
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
16.08.2023, 6:30 PM CEST
Object type
- Monografie
Other Objects (12)
Term rewriting and applications : 17th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Logic programming : 22nd international conference ; proceedings
Automated reasoning : third international joint conference ; proceedings
Case based reasoning research and development : proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Job scheduling strategies for parallel processing : 13th international workshop ; revised papers
Static analysis : 20th international symposium ; 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 : 16th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
Term rewriting and applications : 17th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Logic programming : 22nd international conference ; proceedings
Automated reasoning : third international joint conference ; proceedings
Case based reasoning research and development : proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Job scheduling strategies for parallel processing : 13th international workshop ; revised papers
Static analysis : 20th international symposium ; 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 : 16th international conference ; proceedings
Theory and applications of satisfiability testing : 12th international conference ; proceedings
Term rewriting and applications : 17th international conference ; proceedings
Computer aided verification : 18th international conference ; proceedings
Logic programming : 22nd international conference ; proceedings
Automated reasoning : third international joint conference ; proceedings
Case based reasoning research and development : proceedings
Theory and applications of satisfiability testing : 13th international conference ; proceedings
Job scheduling strategies for parallel processing : 13th international workshop ; revised papers
Static analysis : 20th international symposium ; 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 : 16th international conference ; proceedings