CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers
Reference
Barbara König, Maxime Nederkorn, and Dennis Nolte. CoReS: A tool for computing core graphs via SAT/SMT solvers. Journal of Logical and Algebraic Methods in Programming, 109, 2019.
Suggested BibTeX entry:
@article{KNN19,
author = {Barbara K{\"o}nig and Maxime Nederkorn and Dennis Nolte},
journal = {Journal of Logical and Algebraic Methods in Programming},
title = {{CoReS}: A Tool for Computing Core Graphs via {SAT/SMT} Solvers},
volume = {109},
year = {2019}
}
