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

DOI10.1016/j.jlamp.2019.100484zbMath1435.68174MaRDI QIDQ5918209

Barbara König, Maxime Nederkorn, Dennis Nolte

Publication date: 28 November 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2019.100484

Mathematics Subject Classification ID

68W40: Analysis of algorithms

68Q45: Formal languages and automata

68R10: Graph theory (including graph drawing) in computer science

68R07: Computational aspects of satisfiability

Related Items

CoReS, SemidefiniteProgramming

Uses Software

• SMT-LIB
• z3