Theory and Applications of Satisfiability Testing - SAT 2013 [electronic resource] 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings / edited by Matti Jarvisalo, Allen Van Gelder.
This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013. The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully...
| Uniform Title: | Theoretical Computer Science and General Issues,
2512-2029 ; 7962 |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Edition: | 1st ed. 2013. |
| Series: | Theoretical Computer Science and General Issues,
7962 |
| Subjects: | |
| Online Access: | |
| Variant Title: |
Theory and Applications of Satisfiability Testing SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings |
| Format: | Electronic eBook |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.