Boolean Equi-propagation for Optimized SAT Encoding

Details Boolean Equi-propagation for Optimized SAT Encoding Boolean Equi-propagation for Optimized SAT Encoding

2011-04-24

arxiv.org/abs/1104.4617v1

Computer Science

Artificial Intelligence

Scientific paper

We present an approach to propagation based solving, Boolean equi-propagation, where constraints are modelled as propagators of information about equalities between Boolean literals. Propagation based solving applies this information as a form of partial evaluation resulting in optimized SAT encodings. We demonstrate for a variety of benchmarks that our approach results in smaller CNF encodings and leads to speed-ups in solving times.

Affiliated with

Also associated with

No associations

Rating

Boolean Equi-propagation for Optimized SAT Encoding 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 Boolean Equi-propagation for Optimized SAT Encoding, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Boolean Equi-propagation for Optimized SAT Encoding will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-624006