Boolean Satisfiability Algorithm
(Redirected from SAT Algorithm)
Jump to navigation
Jump to search
A Boolean Satisfiability Algorithm is an optimization algorithm that can be applied by a SAT system (to solve a SAT task).
- AKA: SAT Algorithm.
- See: Satisfiability Algorithm, Boolean Satisfiability Task, SAT Task, MC-SAT Algorithm.