Research Catalog
Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996
- Title
- Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996 / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors.
- Publication
- Providence, R.I. : American Mathematical Society, c1997.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 98-2 | Offsite |
Details
- Additional Authors
- Description
- xv, 724 p. : ill.; 27 cm.
- Series Statement
- DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 35
- Subjects
- Note
- "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."
- "A special workshop entitled 'Satisfiability problem: theory and applications' was held March 11-13, 1996 at the NSF DIMACS National Research Center"--Pref.
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSF 98-2
- ISBN
- 0821804790 (alk. paper)
- LCCN
- 97025448
- OCLC
- 37180933
- Title
- Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996 / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors.
- Imprint
- Providence, R.I. : American Mathematical Society, c1997.
- Series
- DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 35
- Bibliography
- Includes bibliographical references.
- Added Author
- Du, Dingzhu.Gu, Jun, 1956-Pardalos, P. M. (Panos M.), 1954-NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science.DIMACS Workshop on Satisfiability problem : theory and applications (1996 : NSF DIMACS National Research Center)
- Research Call Number
- JSF 98-2