Login / Signup
The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints.
Franz Brauße
Konstantin Korovin
Margarita V. Korovina
Norbert Th. Müller
Published in:
CADE (2021)
Keyphrases
</>
decision making
proof procedure
constrained optimization
decision variables
mixed integer program
decision problems
decision process
provably correct
knowledge base
knowledge representation
global constraints
resource constraints
cardinality constraints
cardinal directions