Drill and Join: A Method for Exact Inductive Program Synthesis.
- Resource Type
- Article
- Source
- Logic-Based Program Synthesis & Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers; 2015, p219-237, 19p
- Subject
- Language