A Lower Bound for Answer Set Solver Computation

Stefania Costantini, Alessandro Provetti. A Lower Bound for Answer Set Solver Computation. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 14(48):41-52, 2010. [doi]

Abstract

Abstract is missing.