Theory and applications of satisfiability teasting - SAT 2013
Subtitle: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
By: [edited by] Matti Jaervisalo, Allen Van Gelder
Edition: 1st edition.
Series: Lecture notes in computer science -- 7962
Publisher: Springer
Published: 2013
Place of publication: New York
Language: eng
Number of pages: 436
ISBN-13: 9783642390708
Copyright date: 2013
Subjects: Computer algorithms; Congresses; Computer software; Verification