K. Subramani, Piotr J. Wojciechowski. Analyzing Unit Read-Once Refutations in Difference Constraint Systems. In Wolfgang Faber 0001, Gerhard Friedrich, Martin Gebser, Michael Morak, editors, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings. Volume 12678 of Lecture Notes in Computer Science, pages 147-161, Springer, 2021. [doi]
@inproceedings{SubramaniW21-0,
title = {Analyzing Unit Read-Once Refutations in Difference Constraint Systems},
author = {K. Subramani and Piotr J. Wojciechowski},
year = {2021},
doi = {10.1007/978-3-030-75775-5_11},
url = {https://doi.org/10.1007/978-3-030-75775-5_11},
researchr = {https://researchr.org/publication/SubramaniW21-0},
cites = {0},
citedby = {0},
pages = {147-161},
booktitle = {Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings},
editor = {Wolfgang Faber 0001 and Gerhard Friedrich and Martin Gebser and Michael Morak},
volume = {12678},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-75775-5},
}