Cover Image

Satisfiability problem theory and applications : DIMACS workshop, March 11-13, 1996 /

Other Authors: Du, Dingzhu., Gu, Jun, 1956-, Pardalos, P. M. 1954-, NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science.
Format: Book
Language: English
Published: Providence, R.I. : American Mathematical Society, [1997]
Physical Description: xv, 724 pages : illustrations ; 26 cm.
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 35.

CMU Main Books 3rd Floor

Call Number: QA9.3 .S38 1997
Copy Available