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]

Authors

Stefania Costantini

This author has not been identified. Look up 'Stefania Costantini' in Google

Alessandro Provetti

This author has not been identified. Look up 'Alessandro Provetti' in Google