Satisfiability Problem: Theory and Applications: Dimacs Workshop, March 11-13, 1996
Format: hardcover
ISBN:
9780821804797 (0821804790)
Publish date: January 1st 1997
Publisher: American Mathematical Society(RI)
Pages no: 724
Edition language: English