Embedding the Connection Calculus in Satisfiability Modulo Theories.

Clemens Eisenhofer Laura Kovács Michael Rawson

Published in: AReCCa@TABLEAUX (2023)

Keyphrases

satisfiability modulo theories
modulo theories
answer set programming
vector space
sat solvers
boolean variables
expert systems
search space
query language