Description: 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

Description
Summary:	A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
Physical Description:	1 online resource (xiii, 966 p.) : ill.
Bibliography:	Includes bibliographical references and indexes.
ISBN:	9781441616784 (electronic bk.) 1441616780 (electronic bk.) 9781607503767 (ebook) 160750376X (ebook)
ISSN:	0922-6389 ;