2 relações: Problema de satisfatibilidade booliana, SAT.
Problema de satisfatibilidade booliana
Na teoria da complexidade computacional, o problema de satisfatibilidade booliana (do inglês boolean satisfiability problem, muitas vezes abreviado como SATISFIABILITY ou SAT) foi o primeiro problema identificado como pertencente à classe de complexidade NP-completo.
Novo!!: SAT (desambiguação) e Problema de satisfatibilidade booliana · Veja mais »
SAT
ACT. O SAT (uma vez sigla para Scholastic Aptitude Test ou Scholastic Assessment Test) é um exame educacional padronizado nos Estados Unidos aplicado a estudantes do ensino médio (o equivalente ao ensino secundário português), que serve de critério para admissão nas universidades norte-americanas (semelhante ao Exame Nacional do Ensino Médio brasileiro, embora as universidades não se baseiem somente nas notas dos alunos para aprová-los).
Novo!!: SAT (desambiguação) e SAT · Veja mais »