On SAT Modulo Theories and Optimization Problems
From MaRDI portal
Publication:5756563
Recommendations
Cited in
(36)- Speeding up the constraint-based method in difference logic
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Delegatable functional signatures
- optsat: A Tool for Solving SAT Related Optimization Problems
- Satisfiability modulo the theory of costs: foundations and applications
- Optimization modulo non-linear arithmetic via incremental linearization
- Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
- Supercharging plant configurations using Z3
- SAT Modulo Differential Equation Simulations
- Optimization in SMT with \(\mathcal{LA}(\mathbb Q)\) cost functions
- Symbolic optimization with SMT solvers
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- An abstract view on optimizations in propositional frameworks
- A system for solving constraint satisfaction problems with SMT
- Optimization modulo the theories of signed bit-vectors and floating-point numbers
- An abstract view on optimizations in SAT and ASP
- Search-space partitioning for parallelizing SMT solvers
- Solving constraint satisfaction problems with SAT modulo theories
- Maximum satisfiability in software analysis: applications and techniques
- Algorithms for Weighted Boolean Optimization
- A modular approach to MaxSAT modulo theories
- Optimization modulo the theory of floating-point numbers
- Optimization modulo theories with linear rational costs
- SAT-Problems and Reductions with Respect to the Number of Variables
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints
- Iterative and core-guided maxsat solving: a survey and assessment
- Learning modulo theories for constructive preference elicitation
- A framework for certified Boolean branch-and-bound optimization
- Exploiting subproblem optimization in SAT-based maxsat algorithms
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
- OptiRica: towards an efficient optimizing Horn solver
- Solving generalized optimization problems subject to SMT constraints
- Structured learning modulo theories
- A logical approach to efficient Max-SAT solving
- Satisfiability modulo theories
- Semiring programming: a semantic framework for generalized sum product problems
This page was built for publication: On SAT Modulo Theories and Optimization Problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756563)
