You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings;
Bibliography
Title:
Theory and application of satisfiability testing - SAT 2011
:
14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings