Login / Signup
Maxime Nederkorn
ORCID
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Modulo Theories
Answer Set Programming
Sat Solvers
Top Venues
J. Log. Algebraic Methods Program.
ICGT
</>
Publications
</>
Barbara König
,
Maxime Nederkorn
,
Dennis Nolte
CoReS: A tool for computing core graphs via SAT/SMT solvers.
J. Log. Algebraic Methods Program.
109 (2019)
Barbara König
,
Maxime Nederkorn
,
Dennis Nolte
CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers.
ICGT
(2018)