Clause Elimination for SAT and QSAT

Show full item record



Permalink

http://hdl.handle.net/10138/161999

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: University of Helsinki, Department of Computer Science
Date: 2015
Language: eng
Number of pages: 42
Belongs to series: Journal of Artificial Intelligence Research
ISSN: 1076-9757
URI: http://hdl.handle.net/10138/161999
Subject: 113 Computer and information sciences
Rights:


Files in this item

Total number of downloads: Loading...

Files Size Format View
live_4694_8715_jair.pdf 469.5Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record