Login / Signup

An Improved method to join BDDs for incompletely specified Boolean functions.

Renato D. PeraltaJoao P. NespoloPaulo F. ButzenMariana KolbergAndré Inácio Reis
Published in: ISCAS (2023)
Keyphrases
  • boolean functions
  • objective function
  • binary decision diagrams
  • heuristic search
  • learning algorithm
  • pairwise