Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / Hans Kleine Büning, Xishun Zhao (eds.)
This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guangzhou, P.R. China, in May 2008. The 17 revised full papers presented together with 8 revised short papers and 2 invited talks were carefully...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | Satisfiability testing. SAT 2008. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2008.
|
| Series: | Lecture notes in computer science ;
4996. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA9.3 .S3654 2008
|
|---|---|
| QA9.3 .S3654 2008 | Available |