CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers.

Barbara König Maxime Nederkorn Dennis Nolte

Published in: ICGT (2018)

Keyphrases

modulo theories
sat solvers
answer set programming
sat solving
sat instances
satisfiability modulo theories
logic programs
phase transition
search algorithm
graph model
quantified boolean formulas
sat encodings
propositional satisfiability
sat problem
randomly generated
satisfiability problem
search space