Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers release_ydr5g4mebrcnjbjck73kph2ulq

by Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone

Published in Journal of Algorithms by Elsevier BV.

2008   Volume 63, Issue 1-3, p70-89

Archived Files and Locations

application/pdf  289.4 kB
file_k6peyrhmu5dqxhwzbhotpztv4e
www.mrg.dist.unige.it (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.star.dist.unige.it (web)
web.archive.org (webarchive)
application/pdf  584.3 kB
file_yjscx4scrvcxxckhf4favxih5m
web.archive.org (webarchive)
www.mat.unical.it (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2008
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0196-6774
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: b5be0220-e1a6-4283-bcb0-35a91ef38baa
API URL: JSON