Handbook of satisfiability
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
| Other Authors: | |
|---|---|
| Format: | Electronic |
| Language: | English |
| Published: |
Amsterdam ; Washington, DC :
IOS Press,
c2009.
|
| Series: | Frontiers in artificial intelligence and applications ;
v. 185. |
| Subjects: | |
| 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 |