Name: Theory and applications of satisfiability testing
Author: Enrico Giunchiglia
ISBN: 9783540208518

null

Page Count:
530

Publication Date:
2004-01-01

ISBN-10:
3540208518

ISBN-13:
9783540208518

No comments yet. Be the first to share your thoughts!