Login / Signup
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems.
Aaron Bembenek
Michael Greenberg
Stephen Chong
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
rule selection
np complete
artificial intelligence
knowledge base
orders of magnitude