Rongo Univesity Library catalog › Details for: Handbook of satisfiability

Normal view MARC view ISBD view

Handbook of satisfiability

Additional authors: Biere, Armin. | ebrary, Inc.

Series: Frontiers in artificial intelligence and applications, 0922-6389 ; . v. 185 Published by : IOS Press, (Amsterdam, The Netherlands ; | Washington, DC :) Physical details: xiii, 966 p. : ill.

Subject(s): Propositional calculus -- Congresses. | Decision making -- Congresses. | Computer algorithms -- Congresses. | Algebra, Boolean -- Congresses. | Electronic books.

Year: 2009

Online resources:

http://site.ebrary.com/lib/rucke/Doc?id=10309230
- An electronic book accessible through the World Wide Web; click to view

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 2 )
Comments ( 0 )

No physical items for this record

Includes bibliographical references and indexes.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2011. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.