Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl. SAT Solving for Argument Filterings. In Miki Hermann, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. Volume 4246 of Lecture Notes in Computer Science, pages 30-44, Springer, 2006. [doi]
@inproceedings{CodishSLTG06,
title = {SAT Solving for Argument Filterings},
author = {Michael Codish and Peter Schneider-Kamp and Vitaly Lagoon and René Thiemann and Jürgen Giesl},
year = {2006},
doi = {10.1007/11916277_3},
url = {http://dx.doi.org/10.1007/11916277_3},
researchr = {https://researchr.org/publication/CodishSLTG06},
cites = {0},
citedby = {0},
pages = {30-44},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings},
editor = {Miki Hermann and Andrei Voronkov},
volume = {4246},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-48281-4},
}