CoReS: A tool for computing core graphs via SAT/SMT solvers.
Barbara KönigMaxime NederkornDennis NoltePublished in: J. Log. Algebraic Methods Program. (2019)
Keyphrases
- modulo theories
- sat solvers
- sat solving
- answer set programming
- satisfiability modulo theories
- sat instances
- graph theoretic
- directed graph
- boolean satisfiability
- propositional satisfiability
- stochastic local search
- search problems
- graph matching
- search algorithm
- max sat
- graph databases
- graph mining
- stable model semantics
- satisfiability problem
- solving hard
- maximum satisfiability