Efficient program synthesis using constraint satisfaction in inductive logic programming

John Ahlgren, Shiu Yin Yuen. Efficient program synthesis using constraint satisfaction in inductive logic programming. Journal of Machine Learning Research, 14(1):3649-3682, 2013. [doi]

Abstract

Abstract is missing.