Login / Signup
Refinement Type Inference via Horn Constraint Optimization.
Kodai Hashimoto
Hiroshi Unno
Published in:
CoRR (2015)
Keyphrases
</>
constraint optimization
constraint satisfaction problems
constraint satisfaction
constraint programming
constraint networks
bayesian networks
evolutionary algorithm
special case
np hard
distributed search