Algorithms for finding dispensable variables

09/30/2009

∙

by   Mikoláš Janota, et al.

∙

0

∙

share

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.