CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers (Tool ...
Reference
Barbara König 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{KN18,
author = {Barbara K{\"o}nig 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}
}
This work is not available online here.