Last update: Sat Oct 14 02:35:45 MDT 2017
@Article{Maratea:2008:LBT, author = "Marco Maratea and Francesco Ricca and Wolfgang Faber and Nicola Leone", title = "Look-back techniques and heuristics in {DLV}: Implementation, evaluation, and comparison to {QBF} solvers", journal = j-J-ALG, volume = "63", number = "1--3", pages = "70--89", month = jan # "\slash " # jul, year = "2008", CODEN = "JOALDV", DOI = "https://doi.org/10.1016/j.jalgor.2008.02.006", ISSN = "0196-6774 (print), 1090-2678 (electronic)", ISSN-L = "0196-6774", bibdate = "Tue Dec 11 09:23:37 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/jalg.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0196677408000072", acknowledgement = ack-nhfb, fjournal = "Journal of Algorithms", journal-URL = "http://www.sciencedirect.com/science/journal/01966774", }