Decision diagram techniques for micro- and nanoelectronic design handbook. (2018)