Theory and applications of satisfiability testing--SAT 2008 :
Series: Lecture notes in computer science, 03029743 ; . 4996 | LNCS sublibrary. SL 1, Theoretical computer science and general issues Published by : Springer, (Berlin ; | New York :) Physical details: x, 304, [1] p. : ill. ; 24 cm. ISBN:9783540797180 (softcover : alk. paper); 3540797181 (softcover : alk. paper).
Subject(s):
Propositional calculus
--
Congresses.
|
Decision making
--
Congresses.
|
Computer algorithms
--
Congresses.
|
Algebra, Boolean
--
Congresses.
Year: 2008
Online resources:
| Item type | Current location | Collection | Call number | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
E-Books
|
Business Library Online Available | Ebooks | http://192.168.0.11/MATMATICS%20BRROK%20115/00264.pdf | Available |
Includes bibliographical references and index.
There are no comments for this item.