109 citations · 410 across the 44 of their papers we have counts for
1 paper · 1 filter
Luis Gustavo Vianna, Scott Sanner, Leliane Nunes de Barros
Recent advances in symbolic dynamic programming (SDP) combined with the extended algebraic decision diagram (XADD) data structure have provided exact solutions for mixed discrete a…