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]

@article{CostantiniP10,
  title = {A Lower Bound for Answer Set Solver Computation},
  author = {Stefania Costantini and Alessandro Provetti},
  year = {2010},
  url = {http://erevista.aepia.org/index.php/ia/article/view/661},
  researchr = {https://researchr.org/publication/CostantiniP10},
  cites = {0},
  citedby = {0},
  journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
  volume = {14},
  number = {48},
  pages = {41-52},
}