On the power of clause-learning SAT solvers as resolution engines release_jzupr4mg7ne2begdew4sp23ii4

by Knot Pipatsrisawat, Adnan Darwiche

Published in Artificial Intelligence by Elsevier BV.

2011   Volume 175, p512-525

Archived Files and Locations

application/pdf  270.5 kB
file_dbc4orvag5d6tc6i62ptvau3xa
www.cs.sfu.ca (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.cs.sfu.ca (web)
application/pdf  243.6 kB
file_yjfo6lxglngojly25abu2vszx4
core.ac.uk (aggregator)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2011
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0004-3702
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 410ac5b1-e575-43b5-bb40-990156d8efc4
API URL: JSON