Refinement Type Inference via Horn Constraint Optimization.

Kodai Hashimoto Hiroshi Unno

Published in: SAS (2015)

Keyphrases

constraint optimization
np hard
bayesian networks
branch and bound search
horn theories
constraint networks
constraint satisfaction problems
constraint programming
distributed search