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)

• Articles from TUHAT CRIS [38548]
  

Show full item record