DiffSat

swMATH13372MaRDI QIDQ25286FDOQ25286

Author name not available (Why is that?)

Official website: http://link.springer.com/article/10.1007%2Fs11432-007-0070-1

Described by source

• Solving SAT problem by heuristic polarity decision-making algorithm

This page was built for software: DiffSat