Satisfiability Modulo the Theory of Costs: Foundations and Applications
From MaRDI portal
Publication:3557072
DOI10.1007/978-3-642-12002-2_8zbMath1284.68388OpenAlexW1553068379WikidataQ62041254 ScholiaQ62041254MaRDI QIDQ3557072
Cristian Stenico, Anders Franzen, Roberto Sebastiani, Alberto Griggio, Alessandro Cimatti
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
Related Items
Optimization Modulo Theories with Linear Rational Costs ⋮ Solving constraint satisfaction problems with SAT modulo theories ⋮ Learning modulo theories for constructive preference elicitation ⋮ Structured learning modulo theories ⋮ Exploiting subproblem optimization in SAT-based maxsat algorithms ⋮ Automated Reasoning in $\mathcal{ALCQ}$ via SMT ⋮ Delegatable Functional Signatures ⋮ Optimization modulo the theories of signed bit-vectors and floating-point numbers ⋮ \textsc{OptiMathSAT}: a tool for optimization modulo theories ⋮ Optimization modulo the theory of floating-point numbers ⋮ Iterative and core-guided maxsat solving: a survey and assessment
Uses Software