Compositional synthesis of piece-wise functions by learning classifiers

Keyphrases

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

Computer Science

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