Pages that link to "Item:Q2946768"
From MaRDI portal
The following pages link to Optimization Modulo Theories with Linear Rational Costs (Q2946768):
Displayed 12 items.
- Structured learning modulo theories (Q511777) (← links)
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Solving linear optimization over arithmetic constraint formula (Q1675635) (← links)
- An interleaved depth-first search method for the linear optimization problem with disjunctive constraints (Q1753130) (← links)
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← links)
- Semiring programming: a semantic framework for generalized sum product problems (Q2206471) (← links)
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123) (← links)
- Learning modulo theories for constructive preference elicitation (Q2238637) (← links)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- Delegatable Functional Signatures (Q2798783) (← links)
- OMTPlan: A Tool for Optimal Planning Modulo Theories (Q6113550) (← links)