Algorithms for finding dispensable variables

Details Algorithms for finding dispensable variables Algorithms for finding dispensable variables

2009-09-30

arxiv.org/abs/0910.0013v1

Computer Science

Data Structures and Algorithms

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Algorithms for finding dispensable variables does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Algorithms for finding dispensable variables, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Algorithms for finding dispensable variables will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-141467