Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996 / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors.
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Providence, R.I. :
American Mathematical Society,
[1997], ©1997.
|
| Series: | DIMACS series in discrete mathematics and theoretical computer science ;
v. 35. |
| Subjects: | |
| Genre: | |
| Format: | Book |