Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996 / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors.

Bibliographic Details

Corporate Author:	NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Other Authors:	Du, Dingzhu Gu, Jun, 1956- Pardalos, P. M. (Panos M.), 1954-
Language:	English
Published:	Providence, R.I. : American Mathematical Society, [1997], ©1997.
Series:	DIMACS series in discrete mathematics and theoretical computer science ; v. 35.
Subjects:	Propositional calculus > Congresses. Decision making > Congresses. Computer algorithms > Congresses. Computer science > Congresses.
Genre:	Congresses.
Format:	Book