3 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
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…