Compositional Synthesis of Piece-Wise Functions by Learning Classifiers

New York, NY / Association for Computing Machinery (2018) [Journal Article]

ACM transactions on computational logic : TOCL
Volume: 19
Issue: 2
Page(s): 10

Authors

Authors

Neider, Daniel
Saha, Shambwaditya
Madhusudan, P.

Identifier