SAT solver
[/ˌɛs.eɪ.ˈtiː ˈsɑːl.vər/]
nounmasculinepl: SAT solvers
resolvedor SAT
1. A computer program or algorithm that determines whether a Boolean satisfiability problem (SAT) has a solution and finds variable assignments that satisfy the logical formula
The SAT solver successfully determined that the complex logical formula was satisfiable.
O resolvedor SAT determinou com sucesso que a fórmula lógica complexa era satisfazível.
2. A software tool used in automated reasoning, theorem proving, and constraint satisfaction problems
Engineers used a SAT solver to verify the correctness of the hardware design.
Os engenheiros usaram um resolvedor SAT para verificar a correção do projeto de hardware.
SAT solver is a specialized term primarily used in academic and professional contexts within computer science, artificial intelligence, and formal verification. It is rarely translated in technical documentation and is universally recognized by computer scientists in both English and Portuguese-speaking countries. The term originated from research in computational complexity theory and automated reasoning.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →