Similar Items: Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
- Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences
- Geometry and Stability of Supervised Learning Problems
- Geometry and Stability of Supervised Learning Problems
- Geometry and Stability of Supervised Learning Problems
- Combining Constraint Programming and Machine Learning: From Current Progress to Future Opportunities
- Contextual Bandits with Stage-wise Constraints