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]

Possibly Related Publications

The following publications are possibly variants of this publication: