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 |
Total number of downloads: Loading...
Files | Size | Format | View |
---|---|---|---|
live_4694_8715_jair.pdf | 469.5Kb |
View/ |