Besonderhede van voorbeeld: 4909468547875350730

English

There are two classes of high-performance algorithms for solving instances of SAT in practice: the Conflict-Driven Clause Learning algorithm, which can be viewed as a modern variant of the DPLL algorithm (well known implementations include Chaff[15] and GRASP[16]) and stochastic local search algorithms, such as WalkSAT.

Spanish

Algoritmos[editar] Hay diversas clases de algoritmos de alto rendimiento para la solución de los casos de SAT en la práctica: las variantes modernas de el Algoritmo DPLL, como el algoritmo de paja y los algoritmos estocásticos de búsqueda local, como WalkSAT.