Login / Signup
Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers.
Masahiko Sakai
Hidetomo Nabeshima
Published in:
IEICE Trans. Inf. Syst. (2015)
Keyphrases
</>
data sets
closely related
constraint solver
real time
neural network
dynamic programming
constraint problems