Wikimedi'Òc

CNF-SAT-independent-set-reduction.svg - Dcoetzee

ZChaff.png - Rauljcs

Two Watched Literals.png - Rauljcs

Exemplo davis-putnam.JPG - Celopinho~commonswiki

2SAT median graph.svg - David Eppstein

Implication graph.svg - David Eppstein

384px-3SAT reduced too VC svg.png - Amirki

3SAT reduced too VC.svg - Amirki

Hamiltonyoluproblemi3s.JPG - Johncasey

Grafsat.jpg - Elton.hoxha

3sattovertex.jpg - Parmaksizali

3SAT-3COL reduction.svg - David Eppstein

GrapheImp.png - Bhoessen

Schaefer's 3-SAT to 1-in-3-SAT reduction.gif - Jochen Burghardt

Sat reduced to Clique from Sipser.svg - Tonkawa68

Boolean satisfiability vs true literal counts.png - GifTagger

1438 figure2.jpg - 1428 Vladimir

1439 figure.svg - Jonteemil

3SAT reduced too VC(1).svg - Mike Hayes

RegSubsetNP.pdf - Jochen Burghardt

RegSubsetNP svg.svg - Jochen Burghardt

Schaefer's dichotomy theorem relation hierarchy.gif - Jochen Burghardt

Planar sat.svg - Notadib

3SAT 17 svg.svg - Jochen Burghardt

3SAT 17.pdf - Jochen Burghardt

Planar SAT Crossover Gadget.png - LightbulbMEOW

Planar SAT example.png - LightbulbMEOW

Crossover xor.gif - Jochen Burghardt

Crossover nand svg.svg - Jochen Burghardt

Crossover nand.pdf - Jochen Burghardt

UC-SAT Solver.png - Eric Moore Hi

Monotone NAE3SAT.svg - BagLuke