Name: Theory and applications of satisfiability testing -- SAT 2006
Author: Armin Biere
ISBN: 9783540372066

null

Page Count:
438

Publication Date:
2006-01-01

ISBN-10:
3540372067

ISBN-13:
9783540372066

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