3-SAT
Special case of the Boolean satisfiablility problem in conjunctive normal form where each clause has ≤3 literals
Nº Q339688 ★
Comum · Saberes
3-SAT
Special case of the Boolean satisfiablility problem in conjunctive normal form where each clause has ≤3 literals
Texto: Wikidata, CC BY-SA 4.0. · Imagem: Thore Husfeldt (talk) (CC BY-SA 3.0) ·
Cartas próximas
-
P versus NP
Problema aberto em ciência da computação
Nº Q746242 ★★★★
Sem ofertas
-
Problema da mochila
Nº Q864457 ★★★
Sem ofertas
-
Problema de empilhamento de blocos
Nº Q16843263 ★
Sem ofertas
-
C
Complexidade computacional
Nº Q5157286 ★★★
Sem ofertas
-
LSPACE
Nº Q1192782 ★★
Sem ofertas
-
P
Programação de conjunto de resposta
Nº Q2852531 ★
Sem ofertas