Synthesizing Programs with Constraint Solvers
Abstract elided by the publisher.
Related papers
- Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates OOPSLA 2023
- Synthesis of layout engines from relational constraints OOPSLA 2015
- Provenance-guided synthesis of Datalog programs POPL 2020
- Synthesizing MILP Constraints for Efficient and Robust Optimization PLDI 2023
- Synthesizing Fair Decision Trees via Iterative Constraint Solving CAV 2022
- Satune: synthesizing efficient SAT encoders OOPSLA 2020
- Synthesis for Polynomial Lasso Programs VMCAI 2014
- Synthesizing Invariants for Polynomial Programs by Semidefinite Programming TOPLAS 2025