Satisfiability problem
Subtitle: theory and applications : DIMACS workshop, March 11-13, 1996
By: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors.
Contributors: Du, Dingzhu.; Gu, Jun, 1956-; Pardalos, P. M. 1954-; NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science.
Series: DIMACS series in discrete mathematics and theoretical computer science,; v. 35
Publisher: American Mathematical Society
Published: 1997
Place of publication: Providence, R.I
Language: eng
Number of pages: 724
Subjects: Propositional calculus -- Congresses.; Decision making -- Congresses.; Computer algorithms -- Congresses.; Computer science -- Congresses.
Notes: Includes bibliographical references.
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science. A consortium of Rutgers University, Princeton University, AT&T Labs, Bell Labs, and Bellcore."