On SAT Modulo Theories and Optimization Problems
From MaRDI portal
Publication:5756563
DOI10.1007/11814948_18zbMATH Open1187.68558OpenAlexW1548812055MaRDI QIDQ5756563FDOQ5756563
Authors: Robert Nieuwenhuis, Albert Oliveras 
Publication date: 4 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814948_18
Recommendations
Cited In (30)
- A framework for certified Boolean branch-and-bound optimization
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Optimization modulo non-linear arithmetic via incremental linearization
- Supercharging plant configurations using Z3
- Semiring programming: a semantic framework for generalized sum product problems
- Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
- optsat: A Tool for Solving SAT Related Optimization Problems
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Learning modulo theories for constructive preference elicitation
- Delegatable Functional Signatures
- Optimization modulo the theory of floating-point numbers
- Optimization Modulo Theories with Linear Rational Costs
- A logical approach to efficient Max-SAT solving
- Speeding up the Constraint-Based Method in Difference Logic
- Iterative and core-guided maxsat solving: a survey and assessment
- Optimization modulo the theories of signed bit-vectors and floating-point numbers
- An abstract view on optimizations in SAT and ASP
- Solving constraint satisfaction problems with SAT modulo theories
- Search-Space Partitioning for Parallelizing SMT Solvers
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
- An abstract view on optimizations in propositional frameworks
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints
- SAT-Problems and Reductions with Respect to the Number of Variables
- SAT Modulo Differential Equation Simulations
- Algorithms for Weighted Boolean Optimization
- Structured learning modulo theories
- Satisfiability Modulo Theories
- Satisfiability modulo the theory of costs: foundations and applications
- A system for solving constraint satisfaction problems with SMT
- Exploiting subproblem optimization in SAT-based maxsat algorithms
Uses Software
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)
