Polynomial time algorithm for 3-SAT. Examples of use

Details Polynomial time algorithm for 3-SAT. Examples of use Polynomial time algorithm for 3-SAT. Examples of use

2007-03-21

arxiv.org/abs/cs/0703098v1

Computer Science

Computational Complexity

19 pages

Scientific paper

The algorithm checks the propositional formulas for patterns of
unsatisfiability.

Affiliated with

Also associated with

No associations

Rating

Polynomial time algorithm for 3-SAT. Examples of use 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 Polynomial time algorithm for 3-SAT. Examples of use, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Polynomial time algorithm for 3-SAT. Examples of use will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-382188