SAT stands for the Boolean satisfiability problem.
The tag sat refers to SAT, the Boolean satisfiability problem.
About
Stats
|
created |
12 years, 1 month ago by Evgenij Thorstensen |
|
viewed |
45 times |
|
active |
11 years, 10 months ago |
|
editors |
1 |
Top Answerers
more »
Recent Hot Answers
Constraint satisfaction problem (CSP) vs. satisfiability modulo theory (SMT); with a coda on constraint programmingDo any quantum algorithms improve on classical SAT?
Is this variation of TQBF still PSPACE-complete?
Are there any hard instances of 3-SAT when the clauses can only use literals that are "nearby" each other?
Is this variation of TQBF still PSPACE-complete?
more »