Mikolas Janota, Joao Marques-Silva, Radu Grigore·2009-10-01·via cs.DS updates on arXiv.org
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.