%0 Journal Article %1 journals/jal/MarateaRFL08 %A Maratea, Marco %A Ricca, Francesco %A Faber, Wolfgang %A Leone, Nicola %D 2008 %J J. Algorithms %K dblp %N 1-3 %P 70-89 %T Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. %U http://dblp.uni-trier.de/db/journals/jal/jal63.html#MarateaRFL08 %V 63

@article{journals/jal/MarateaRFL08, added-at = {2008-08-21T00:00:00.000+0200}, author = {Maratea, Marco and Ricca, Francesco and Faber, Wolfgang and Leone, Nicola}, biburl = {https://www.bibsonomy.org/bibtex/23a3c7a42679bc9a49e655e7aedcd106e/dblp}, date = {2008-08-21}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.jalgor.2008.02.006}, interhash = {0fbea5a5dba2cfcabbc764c3cebb0af1}, intrahash = {3a3c7a42679bc9a49e655e7aedcd106e}, journal = {J. Algorithms}, keywords = {dblp}, number = {1-3}, pages = {70-89}, timestamp = {2008-08-22T11:54:20.000+0200}, title = {Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.}, url = {http://dblp.uni-trier.de/db/journals/jal/jal63.html#MarateaRFL08}, volume = 63, year = 2008 }