Teken aan
Besonderhede van voorbeeld: -5628226434537403577
terug
Metadata
Author:
WikiMatrix
Data
English
[en]
It became known as the DPLL algorithm.
Spanish
[es]
Se conoció con el nombre de algoritmo DPLL.
History
Your action:
Comment
Mark incorrect example
Please enable JavaScript.