Emilie Allart, Joachim Niehren, Cristian Versari. Exact Boolean Abstraction of Linear Equation Systems. Computation, 9(11):113, 2021. [doi]
@article{AllartNV21-0,
title = {Exact Boolean Abstraction of Linear Equation Systems},
author = {Emilie Allart and Joachim Niehren and Cristian Versari},
year = {2021},
doi = {10.3390/computation9110113},
url = {https://doi.org/10.3390/computation9110113},
researchr = {https://researchr.org/publication/AllartNV21-0},
cites = {0},
citedby = {0},
journal = {Computation},
volume = {9},
number = {11},
pages = {113},
}