Satisfiability modulo the theory of costs: foundations and applications

DOI10.1007/978-3-642-12002-2_8MaRDI QIDQ3557072zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico

Publication date 27 April 2010

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12002-2_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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
• Satisfiability modulo theories
• Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions

Cited in

(14)

• \textsc{OptiMathSAT}: a tool for optimization modulo theories
• Delegatable functional signatures
• Optimization in SMT with \(\mathcal{LA}(\mathbb Q)\) cost functions
• Optimization modulo theories with linear rational costs
• Automated reasoning in \(\mathcal{ALCQ}\) via SMT
• Learning modulo theories for constructive preference elicitation
• Optimization modulo the theory of floating-point numbers
• Iterative and core-guided maxsat solving: a survey and assessment
• Solving constraint satisfaction problems with SAT modulo theories
• Optimization modulo the theories of signed bit-vectors and floating-point numbers
• On SAT Modulo Theories and Optimization Problems
• Structured learning modulo theories
• Symbolic optimization with SMT solvers
• Exploiting subproblem optimization in SAT-based maxsat algorithms

Describes a project that uses

Uses Software

• PBS

This page was built for publication: Satisfiability modulo the theory of costs: foundations and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3557072)