Symbolic optimization with SMT solvers
From MaRDI portal
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Nonnumerical algorithms (68W05) Mathematical programming (90C99)
Recommendations
- On SAT Modulo Theories and Optimization Problems
- Optimization modulo theories with linear rational costs
- Optimization in SMT with \(\mathcal{LA}(\mathbb Q)\) cost functions
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Satisfiability modulo the theory of costs: foundations and applications
Cited in
(29)- Solving linear optimization over arithmetic constraint formula
- An interleaved depth-first search method for the linear optimization problem with disjunctive constraints
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
- Optimization modulo the theories of signed bit-vectors and floating-point numbers
- Memory-efficient fixpoint computation
- Abstract neural networks
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Optimization modulo the theory of floating-point numbers
- Delegatable functional signatures
- Quantitative abstractions for collective adaptive systems
- Optimization in SMT with \(\mathcal{LA}(\mathbb Q)\) cost functions
- Optimization modulo theories with linear rational costs
- Block-wise abstract interpretation by combining abstract domains with SMT
- Combining Model Checking and Deduction
- Search-space partitioning for parallelizing SMT solvers
- Satisfiability checking: theory and applications
- SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
- Structured learning modulo theories
- Exploiting symmetry in SMT problems
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Bugs, moles and skeletons: symbolic reasoning for software development
- Symbolic computation of differential equivalences
- OptiRica: towards an efficient optimizing Horn solver
- Exploiting partial-assignment enumeration in optimization modulo theories
- Memory-efficient fixpoint computation
- Generalized optimization modulo theories
- Multiple interdependent simple temporal networks with uncertainty: a semi-decentralized multi-agent model with shared control of activity durations
- Symbolic techniques in satisfiability solving
This page was built for publication: Symbolic optimization with SMT solvers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408453)
