On SAT Modulo Theories and Optimization Problems
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 156-169
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- SMT-COMP: Satisfiability Modulo Theories Competition2005
- DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic2005
- Abstract DPLL and Abstract DPLL Modulo Theories2005
- Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT SolversLecture Notes in Computer Science, 2005
- DPLL(T): Fast Decision Procedures2004
- Automatic Generation of Classification Theorems for Finite AlgebrasLecture Notes in Computer Science, 2004
- Solving Max-SAT as Weighted CSPLecture Notes in Computer Science, 2003
- Radio Link Frequency AssignmentConstraints, 1999
- A machine program for theorem-provingCommunications of the ACM, 1962
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960