Satisfiability problem : theory and applications : DIMACS Workshop, March 11-13, 1996
Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Bok Engelsk 1997
Utgitt | Providence, R.I. : American Mathematical Society , 1997
|
---|---|
Omfang | XV, 724 s. : fig.
|
Emner | |
ISBN | 0821804790
|