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	Computer algorithms - Congresses Computer science - Congresses Decision-making - Congresses Propositional calculus - Congresses
ISBN	0821804790