%0 Conference Paper %1 conf/ijcai/SiRHN19 %A Si, Xujie %A Raghothaman, Mukund %A Heo, Kihong %A Naik, Mayur %B IJCAI %D 2019 %E Kraus, Sarit %I ijcai.org %K dblp %P 6117-6124 %T Synthesizing Datalog Programs using Numerical Relaxation. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#SiRHN19

@inproceedings{conf/ijcai/SiRHN19, added-at = {2023-11-12T00:00:00.000+0100}, author = {Si, Xujie and Raghothaman, Mukund and Heo, Kihong and Naik, Mayur}, biburl = {https://www.bibsonomy.org/bibtex/2137845f6265123b0337318e75a9cc4b4/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2019}, editor = {Kraus, Sarit}, ee = {https://doi.org/10.24963/ijcai.2019/847}, interhash = {1ff8855b6de5188cff9739e6292dc076}, intrahash = {137845f6265123b0337318e75a9cc4b4}, keywords = {dblp}, pages = {6117-6124}, publisher = {ijcai.org}, timestamp = {2024-04-10T11:29:22.000+0200}, title = {Synthesizing Datalog Programs using Numerical Relaxation.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#SiRHN19}, year = 2019 }