Coprocessor - a Standalone SAT Preprocessor

Details Coprocessor - a Standalone SAT Preprocessor Coprocessor - a Standalone SAT Preprocessor

2011-08-31

arxiv.org/abs/1108.6208v1

Computer Science

Artificial Intelligence

system description, short paper, WLP 2011

Scientific paper

In this work a stand-alone preprocessor for SAT is presented that is able to perform most of the known preprocessing techniques. Preprocessing a formula in SAT is important for performance since redundancy can be removed. The preprocessor is part of the SAT solver riss and is called Coprocessor. Not only riss, but also MiniSat 2.2 benefit from it, because the SatELite preprocessor of MiniSat does not implement recent techniques. By using more advanced techniques, Coprocessor is able to reduce the redundancy in a formula further and improves the overall solving performance.

Affiliated with

Also associated with

No associations

Rating

Coprocessor - a Standalone SAT Preprocessor 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 Coprocessor - a Standalone SAT Preprocessor, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coprocessor - a Standalone SAT Preprocessor will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-625690