Synthesizing Datalog Programs using Numerical Relaxation

Open in new window