Login / Signup

Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers.

Masahiko SakaiHidetomo Nabeshima
Published in: IEICE Trans. Inf. Syst. (2015)
Keyphrases
  • data sets
  • closely related
  • constraint solver
  • real time
  • neural network
  • dynamic programming
  • constraint problems