Login / Signup
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis.
Shaull Almagor
Orna Kupferman
Yaron Velner
Published in:
CONCUR (2016)
Keyphrases
</>
expected cost
boolean constraints
global constraints
cost function
long run
optimal strategy
success probability
inventory level
data sets
boolean variables
small number
support vector
constraint satisfaction problems