Theory and applications of satisfiability testing -- SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12--15, 2008. Proceedings (Q2427301)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theory and applications of satisfiability testing -- SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12--15, 2008. Proceedings |
scientific article |
Statements
Theory and applications of satisfiability testing -- SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12--15, 2008. Proceedings (English)
0 references
8 May 2008
0 references
