Pages that link to "Item:Q2303246"
From MaRDI portal
The following pages link to \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246):
Displaying 13 items.
- OptiMathSAT (Q44019) (← 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)
- OptiLog: a framework for SAT-based systems (Q2118280) (← links)
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- Solving Generalized Optimization Problems Subject to SMT Constraints (Q2897999) (← links)
- MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* (Q5140144) (← links)
- Symbolic optimization with SMT solvers (Q5408453) (← links)
- Global optimization of objective functions represented by ReLU networks (Q6053800) (← links)
- Computing optimal hypertree decompositions with SAT (Q6067037) (← links)
- OMTPlan: A Tool for Optimal Planning Modulo Theories (Q6113550) (← links)
- SAT solving using XOR-OR-AND normal forms. (Q6653668) (← links)