3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Mikolas Janota, Joao Marques-Silva, Radu Grigore
This short note reviews briefly three algorithms for finding the set of dispensable variables of a boolean formula. The presentation is light on proofs and heavy on intuitions.