Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving

Dec 04, 2019
Xujie Si, Yujia Li, Vinod Nair, Felix Gimeno


  Access Paper or Ask Questions

Synthesizing Datalog Programs using Numerical Relaxation

Jun 01, 2019
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik

* This is the full version of the paper with the same title appearing at IJCAI 2019, and includes the appendices and omitted proofs 

  Access Paper or Ask Questions