conftrace_

numerical relaxation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

datalog program (1) recursive rule (1) logical rule learning (1) logic programming (1) rule learning (1) continuous optimization (1) numerical optimization (1) program synthesis (1)

Papers

Synthesizing Datalog Programs using Numerical Relaxation IJCAI 2019