Synthesizing piece-wise functions by learning classifiers

Keyphrases

• Piecewise Function 100%
• Learning Classifiers 100%
• Synthesizer 66%
• Single Point 33%
• Set of Synthesis 33%
• Simple Function 33%
• Decision Tree Classifier 33%
• General Techniques 33%
• Logic Synthesis 33%
• Constraint Solver 33%
• Constraint Solving 33%
• Classifier Learning 33%
• Linear Integer Arithmetic 33%
• Expression Synthesis 33%

Computer Science

• Constraint Solver 100%
• Decision Tree Classifier 100%
• Synthesis Engine 100%