Skip to content

Constraint-Based Synthesis of Datalog Programs.

Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith

VenueACP
Year2017
ProceedingsCP

Browse the full CP paper archive.