CoReS: A tool for computing core graphs via SAT/SMT solvers

Saved in:

Bibliographic Details
Published in	Journal of logical and algebraic methods in programming Vol. 109; p. 100484
Main Authors	König, Barbara, Nederkorn, Maxime, Nolte, Dennis
Format	Journal Article
Language	English
Published	01.12.2019
Online Access	Get full text
ISSN	2352-2208
DOI	10.1016/j.jlamp.2019.100484

Loading…

More Information
ISSN:	2352-2208
DOI:	10.1016/j.jlamp.2019.100484