An edition of Satisfiability problem (1997)

Satisfiability problem

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

Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by ImportBot
March 28, 2025 | History
An edition of Satisfiability problem (1997)

Satisfiability problem

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

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English
Pages
724

Buy this book

Book Details


Edition Notes

Includes bibliographical references.
"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."

Published in
Providence, R.I
Series
DIMACS series in discrete mathematics and theoretical computer science,, v. 35

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.3 .S38 1997, QA9.3.S38 1997

The Physical Object

Pagination
xv, 724 p. :
Number of pages
724

Edition Identifiers

Open Library
OL678966M
ISBN 10
0821804790
LCCN
97025448
OCLC/WorldCat
37180933
LibraryThing
6363341
Goodreads
375192

Work Identifiers

Work ID
OL19900680W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
July 13, 2024 Edited by MARC Bot import existing book
February 26, 2022 Edited by ImportBot import existing book
November 25, 2020 Edited by MARC Bot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record