Holdings: Handbook of satisfiability

A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.

Bibliographic Details
Other Authors:	Biere, Armin.
Format:	Electronic
Language:	English
Published:	Amsterdam ; Washington, DC : IOS Press, c2009.
Series:	Frontiers in artificial intelligence and applications ; v. 185.
Subjects:	Propositional calculus > Congresses. Decision making > Congresses. Computer algorithms > Congresses. Algebra, Boolean > Congresses. MATHEMATICS > Infinity. MATHEMATICS > Logic. Algorithmus. Anwendung. Berechnungskomplexität. Erfüllbarkeitsproblem. Electronic books.
Online Access:	ebrary View fulltext via EzAccess An electronic book accessible through the World Wide Web; click for information https://ezaccess.library.uitm.edu.my/login?url=http://site.ebrary.com/lib/alltitles/Doc?id=10309230 https://ezaccess.library.uitm.edu.my/login?url=http://swb.eblib.com/patron/FullRecord.aspx?p=448770