Algorithms for finding dispensable variables
Data Structures and Algorithms
2009-10-02 v1 Artificial Intelligence
Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.0910.0013,
title = {Algorithms for finding dispensable variables},
author = {Mikolas Janota and Joao Marques-Silva and Radu Grigore},
journal= {arXiv preprint arXiv:0910.0013},
year = {2009}
}