Cover Image
Saved in:

Theory and applications of satisfiability testing-- SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /

Bibliographic Details
Corporate Authors: SAT 2013 Helsinki, Finland), SpringerLink (Online service)
Other Authors: Järvisalo, Matti., Van Gelder, Allen.
Format: Online Conference Proceeding Book
Published: Berlin ; New York : Springer, c2013.
Series:Lecture notes in computer science ; 7962.
LNCS sublibrary. Theoretical computer science and general issues.
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!