Skip to content

Logic-Based Inductive Synthesis of Efficient Programs.

Andrew Cropper

VenueA*IJCAI
Year2016
ProceedingsIJCAI

Browse the full IJCAI paper archive.