Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings


Book Informaton

Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Author

Karem A. Sakallah; Laurent Simon

Series

Lecture Notes in Computer Science

Volume

6695

Year of Publication

2011

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin, Heidelberg

Pages

XIII, 371

Language

EN

ISBN

9783642215803, 9783642215810

ARI Id

1664824653203


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation