boolean satisfiability problem oor Nederlands

boolean satisfiability problem

Vertalings in die woordeboek Engels - Nederlands

Vervulbaarheidsprobleem

Boolean satisfiability problem

The problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.

voorbeelde

In computer science, Putnam is known for the Davis–Putnam algorithm for the Boolean satisfiability problem (SAT), developed with Martin Davis in 1960.
In de computerwetenschap is Putnam bekend door zijn zogenaamde Davis-Putnamalgoritme voor het booleaanse vervulbaarheidsprobleem, dat hij in 1960 samen met Martin Davis ontwikkelde.

In computer science, Putnam is known for the Davis-Putnam algorithm for the Boolean satisfiability problem (SAT), developed with Martin Davis in 1960.
In de computerwetenschap is Putnam bekend door zijn zogenaamde Davis–Putnam algoritme voor het Booleaanse vervulbaarheid probleem, die hij ontwikkelde samen met Martin Davis in 1960.

The Boolean satisfiability problem is a kind of problem. It is from math-based logic. In propositional logic, a formula is satisfiable if the variables it uses can be given values so that it becomes true.
In de klassieke logica is een propositie vervulbaar als er een toekenning, waar of onwaar, bestaat van de atomaire formules in die propositie zodat de propositie waar is.