Pages that link to "Item:Q5756563"
From MaRDI portal
The following pages link to On SAT Modulo Theories and Optimization Problems (Q5756563):
Displaying 23 items.
- Solving constraint satisfaction problems with SAT modulo theories (Q487632) (← links)
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories (Q487655) (← links)
- Structured learning modulo theories (Q511777) (← links)
- Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063) (← links)
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← links)
- An abstract view on optimizations in SAT and ASP (Q2055811) (← links)
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints (Q2074672) (← links)
- Supercharging plant configurations using Z3 (Q2117195) (← links)
- Semiring programming: a semantic framework for generalized sum product problems (Q2206471) (← 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)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- A logical approach to efficient Max-SAT solving (Q2389619) (← links)
- A framework for certified Boolean branch-and-bound optimization (Q2429985) (← links)
- Delegatable Functional Signatures (Q2798783) (← links)
- Speeding up the Constraint-Based Method in Difference Logic (Q2818021) (← links)
- Optimization Modulo Theories with Linear Rational Costs (Q2946768) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Search-Space Partitioning for Parallelizing SMT Solvers (Q3453241) (← links)
- Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (Q3637179) (← links)
- Algorithms for Weighted Boolean Optimization (Q3637182) (← links)