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
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
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationShowing 1 to 15 of 15 entries
Chapters/Headings | Author(s) | Pages | Info |
1-2 | |||
3-4 | |||
245-258 | |||
357-359 | |||
360-361 | |||
362-363 | |||
364-366 | |||
367-368 | |||
369-370 | |||
371-372 | |||
373-374 | |||
375-376 | |||
377-378 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 15 of 15 entries