1 paper
Ryoma Onaka, Kengo Nakamura, Masaaki Nishino +1
A knowledge compilation map analyzes tractable operations in Boolean function representations and compares their succinctness. This enables the selection of appropriate representat…