DiffSat

MaRDI QIDQ25286swMATHFDO

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