Besonderhede van voorbeeld: -437968124197354311

Metadata

Author: WikiMatrix

Data

French^[fr]

Cet ensemble est construit pendant l’exécution de l’algorithme.

Dutch^[nl]

Deze waarheidswaarden zijn tijdens het uitvoeren van het DPLL-algoritme bepaald.

History

Your action: