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:
CoRR (2021)
Keyphrases
</>
constrained optimization
proof procedure
decision making
constraint satisfaction
decision makers
decision problems
linear constraints
real time
neural network
decision trees
linear program
sensitivity analysis
influence diagrams
global constraints
constraint networks
mixed integer program