Non-Classical Logics in Satisfiability Modulo Theories.

Clemens Eisenhofer Ruba Alassaf Michael Rawson Laura Kovács

Published in: TABLEAUX (2023)

Keyphrases

satisfiability modulo theories
modulo theories
answer set programming
sat solvers
boolean variables
constraint satisfaction
stable model semantics
constraint solvers
learning algorithm
decision trees
logic programming