CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories.

Fadil Kallat Tristan Schäfer Anna Vasileva

Published in: PxTP (2019)

Keyphrases

modulo theories
logic synthesis
satisfiability modulo theories
answer set programming
multi valued
heuristic search
quantum computing
inductive learning
stable model semantics
logic circuits
logic programs
sat solvers
learning algorithm
object oriented
logic programming