Stefania Costantini, Alessandro Provetti. A Lower-Bound for Answer Set Solver Computation. In Mauricio Osorio, Claudia Zepeda, Ivan Olmos, Carolina Medina, José Arrazola, editors, Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009. Volume 533 of CEUR Workshop Proceedings, pages 183-198, CEUR-WS.org, 2009. [doi]
@inproceedings{CostantiniP09,
title = {A Lower-Bound for Answer Set Solver Computation},
author = {Stefania Costantini and Alessandro Provetti},
year = {2009},
url = {http://ceur-ws.org/Vol-533/15_LANMR09_12.pdf},
researchr = {https://researchr.org/publication/CostantiniP09},
cites = {0},
citedby = {0},
pages = {183-198},
booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009},
editor = {Mauricio Osorio and Claudia Zepeda and Ivan Olmos and Carolina Medina and José Arrazola},
volume = {533},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}