Special issue: SAT 2001, the fourth international symposium on the theory and applications of satisfiability testing. Selected papers based on the presentations at the symposium, Boston, MA, USA, 2001. (Q2372873)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: SAT 2001, the fourth international symposium on the theory and applications of satisfiability testing. Selected papers based on the presentations at the symposium, Boston, MA, USA, 2001. |
scientific article |
Statements
Special issue: SAT 2001, the fourth international symposium on the theory and applications of satisfiability testing. Selected papers based on the presentations at the symposium, Boston, MA, USA, 2001. (English)
0 references
3 August 2007
0 references
