Satisfiability modulo the theory of costs: foundations and applications
From MaRDI portal
Publication:3557072
DOI10.1007/978-3-642-12002-2_8zbMATH Open1284.68388DBLPconf/tacas/CimattiFGSS10OpenAlexW1553068379WikidataQ62041254 ScholiaQ62041254MaRDI QIDQ3557072FDOQ3557072
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
Recommendations
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
- Optimization modulo the theories of signed bit-vectors and floating-point numbers
- Solving constraint satisfaction problems with SAT modulo theories
- On SAT Modulo Theories and Optimization Problems
- Symbolic optimization with SMT solvers
- Structured learning modulo theories
- Exploiting subproblem optimization in SAT-based maxsat algorithms
Uses Software
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)
