Pages that link to "Item:Q3557072"
From MaRDI portal
The following pages link to Satisfiability Modulo the Theory of Costs: Foundations and Applications (Q3557072):
Displaying 12 items.
- Solving constraint satisfaction problems with SAT modulo theories (Q487632) (← links)
- Structured learning modulo theories (Q511777) (← links)
- Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063) (← links)
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← 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)
- Delegatable Functional Signatures (Q2798783) (← links)
- Optimization Modulo Theories with Linear Rational Costs (Q2946768) (← links)
- Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031) (← links)
- Symbolic optimization with SMT solvers (Q5408453) (← links)