Satisfiability problem :

Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996

Saved in:
Bibliographic Details
Corporate Author: NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Other Authors: Du, Dingzhu (Editor), Gu, Jun 1956- (Editor), Παρδαλός, Πάνος Μ. (Editor)
Format: Book
Language:English
Published: Providence, R.I. : American Mathematical Society, c1997
Series:DIMACS series in discrete mathematics and theoretical computer science ; ; 35
Subjects:
Propositional calculus > Congresses.
Decision making > Congresses.
Computer algorithms > Congresses.
Computer science > Congresses.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Item Description:"NSF science and Technology Center Discrete Mathematics and Theoretical Computer Science. A consortium of Rutgers University, Princeton University, AT&T Labs, Bell Labs, and Bellcore"
Physical Description:xv, 724 σ. : εικ. ; 27 εκ.
Bibliography:Includes bibliographical references
ISBN:0-8218-0479-0

Similar Items