Exploiting Branch Constraints without Exhaustive Path Enumeration.

Ting Chen Tulika Mitra Abhik Roychoudhury Vivy Suhendra

Published in: WCET (2005)

Keyphrases

search space
database
shortest path
mixed integer
multiple constraints
artificial intelligence
objective function
multi agent
query language
probabilistic model
constraint programming
resource constraints
linear constraints