Category:Satisfiability problems

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

Error creating thumbnail: File missing

Wikimedia Commons has media related to Boolean satisfiability problem.

Subcategories

This category has the following 2 subcategories, out of 2 total.

S

SAT solvers (7 P)
Satisfiability modulo theories solvers (3 P)

Pages in category "Satisfiability problems"

The following 17 pages are in this category, out of 17 total. This list may not reflect recent changes.

1

1-in-3-SAT

2

2-satisfiability

A

Alloy (specification language)

B

Boolean satisfiability problem

C

Conflict-driven clause learning

F

Formula game

H

Horn-satisfiability

M

N

Not-all-equal 3-satisfiability

P

Planar SAT

R

Relaxed intersection

S

T

True quantified Boolean formula

X

XOR-SAT

Retrieved from "http://70.231.62.181/index.php?title=Category:Satisfiability_problems&oldid=5940911"

Hidden categories: