The following pages link to Structured learning modulo theories (Q511777):
Displaying 7 items.
- Learning relational dependency networks in hybrid domains (Q747248) (← links)
- Automatic synthesis of constraints from examples using mixed integer linear programming (Q1753666) (← links)
- Ellipsoidal one-class constraint acquisition for quadratically constrained programming (Q2030498) (← links)
- Learning modulo theories for constructive preference elicitation (Q2238637) (← links)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- Learning MAX-SAT from contextual examples for combinatorial optimisation (Q2680761) (← links)
- Delegatable Functional Signatures (Q2798783) (← links)
