Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele
Engineering an Incremental ASP Solver
ICLP, 2008.
@inproceedings{ICLP-2008-GebserKKOST,
author = "Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Sven Thiele",
booktitle = "{Proceedings of the 24th International Conference on Logic Programming}",
doi = "10.1007/978-3-540-89982-2_23",
isbn = "978-3-540-89981-5",
pages = "190--205",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Engineering an Incremental ASP Solver}",
volume = 5366,
year = 2008,
}
Tags: