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

Saved in:

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

Description
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."
Call Number:	QA9.3 .S38 1997
Bibliography Note:	Includes bibliographical references.
ISBN:	0821804790 (alk. paper)
ISSN:	1052-1798 ;