staff project download information miscellaneous
Trend Download   Solving 3-Sat Problem
  More Trend Examples

Public Key CryptoSystem

Langton's Self-Replication Loop

Game of Life

Langton's Ant

Snowflake Generation

Reaction Diffusion

One Dimensional CA

1-D Bubble Sort

2-D Bubble Sort

Image Thinning Algorithm

Genetic Drift

Emergence of Self-Replication Structures

Solving 2-SAT Problem

Solving 3-SAT Problem

Solid 2-SAT

Mouse Maze

Logic Gate Adder

Voronoi Diagram

Two Gender Solid Self-replication Loop

One-cell-based Genetic Algorithm for Solving SAT Problem

 
MangoVect DownloadPicky DownloadLucy2 DownloadGRAMAUBViz DownloadgeneDBN Download

1. Description

This example is similar to 2-SAT example, except that the predicate used in this example is a 3-SAT with 4 variables and 6 clauses.

It should be pointed out that the ideas behind the two examples are the same. Although 2-SAT problems can actually be solved in polynomial time and are not truly NP-complete problem, the method presented in the 2-SAT example does not take advantage of it. To show that this method is equally applicable to general SAT problems, we choose a 3-SAT predicate in this example and solve it using the idea of 2-SAT example.

2. Download

next example

Last modified June 13, 2008 . All rights reserved.

Contact Webmaster

lab