Clause Elimination for SAT and QSAT
Permalink
Citation
Heule , M , Järvisalo , M , Lonsing , F , Seidl , M & Biere , A 2015 , ' Clause Elimination for SAT and QSAT ' , Journal of Artificial Intelligence Research , vol. 53 , pp. 127-168 . https://doi.org/10.1613/jair.4694
| Title: | Clause Elimination for SAT and QSAT |
| Author: | Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin |
| Contributor organization: | Department of Computer Science Helsinki Institute for Information Technology Constraint Reasoning and Optimization research group / Matti Järvisalo The Finnish Center of Excellence in Computational Inference Research (COIN) |
| Date: | 2015 |
| Language: | eng |
| Number of pages: | 42 |
| Belongs to series: | Journal of Artificial Intelligence Research |
| ISSN: | 1076-9757 |
| DOI: | https://doi.org/10.1613/jair.4694 |
| URI: | http://hdl.handle.net/10138/161999 |
| Subject: | 113 Computer and information sciences |
| Peer reviewed: | Yes |
| Rights: | other |
| Usage restriction: | openAccess |
| Self-archived version: | publishedVersion |
Files in this item
Total number of downloads: Loading...
| Files | Size | Format | View |
|---|---|---|---|
| live_4694_8715_jair.pdf | 469.5Kb |
View/ |
This item appears in the following Collection(s)
-
Articles from TUHAT CRIS [46568]