Integrating Answer Set Programming and Satisfiability Modulo Theories (2009)
AUTHORS:
Niemelä Ilkka
BOOKTITLE:
Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
SERIES:
Lecture Notes in Computer Science
VOLUME:
5753
PAGES:
3
URL:
http://dx.doi.org/10.1007/978-3-642-04238-6_3
INTERNALPDF:
internalpdf/Niemela-LPNMR2009.pdf
@inproceedings{ Niemela:LPNMR2009, author = {Niemel{\"a}, Ilkka}, responsibleauthor = {Niemel{\"a}, Ilkka}, title = "Integrating Answer Set Programming and Satisfiability Modulo Theories", url = "http://dx.doi.org/10.1007/978-3-642-04238-6_3", series = "Lecture Notes in Computer Science", booktitle = "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009", corerank = "A", volume = "5753", flags = "MCM", year = "2009", internalpdf = "Niemela-LPNMR2009.pdf", impactfactor = "D2", pages = "3" }