CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers (Tool ...
Reference
Barbara König, Maxime Nederkorn, and Dennis Nolte. CoReS: A tool for computing core graphs via SAT/SMT solvers (tool presentation paper). In Proc. of ICGT '18, pages 37–42. Springer, 2018. LNCS 10887.
Suggested BibTeX entry:
@inproceedings{KNN18,
author = {Barbara K{\"o}nig and Maxime Nederkorn and Dennis Nolte},
booktitle = {Proc. of ICGT '18},
note = {{LNCS} 10887},
pages = {37--42},
publisher = {Springer},
title = {{CoReS}: A Tool for Computing Core Graphs via {SAT/SMT} Solvers (Tool Presentation Paper)},
year = {2018}
}
