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-
Format:	Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, ©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.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA9.3 .S38 1997
QA9.3 .S38 1997	Available Place a Hold