Home
3SAT to HCYCLE
HCYCLE to HCIRCUIT
HCIRCUIT to TSP
3SAT to SSP
3SAT to 3CG
3-SAT to 3-CG reduction
3-CNF Editor
CNF Editor
Removes duplicate clauses automatically.
-- choose demo --
NO_SOLUTION
BASIC
FALSE
FALSE_NOSOL
Reduce
Solve
Reduce and Show steps
Reduce and Solve
Show steps
Input 3-SAT Instance
Output 3-CG Instance
Reduced instance will appear here.