BOOK-CHAPTER
Constraint-Based Synthesis of Datalog Programs
Aws AlbarghouthiParaschos KoutrisMayur NaikCalvin Smith
Year: 2017 Lecture notes in computer science Pages: 689-706 Publisher: Springer Science+Business Media
Keywords:
Datalog Computer science Constraint (computer-aided design) Graph Programming language Solver Constraint programming Theoretical computer science Range (aeronautics) Constraint satisfaction problem Mathematical optimization Mathematics Artificial intelligence
Metrics
41
Cited By
11.66
FWCI (Field Weighted Citation Impact)
37
Refs
0.99
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Syntax-guided synthesis of Datalog programs
Xujie SiWoosuk LeeRichard ZhangAws AlbarghouthiParaschos KoutrisMayur Naik
Year: 2018 Pages: 515-527
JOURNAL ARTICLE
Provenance-guided synthesis of Datalog programs
Mukund RaghothamanJonathan MendelsonDavid ZhaoMayur NaikBernhard Scholz
Journal: Proceedings of the ACM on Programming Languages Year: 2019 Vol: 4 (POPL)Pages: 1-27
JOURNAL ARTICLE
SIMILARITY-BASED RELATIONS IN DATALOG PROGRAMS
Journal: International Journal of Uncertainty Fuzziness and Knowledge-Based Systems Year: 2012 Vol: 20 (05)Pages: 673-700