From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach.

Andoni Rodríguez César Sánchez

Published in: CoRR (2023)

Keyphrases

objective function
modulo theories
answer set programming
stable model semantics
satisfiability modulo theories
logic programs
special case
metadata
learning algorithm
decision trees
database systems
expert systems
search space