Convergence properties of optimization algorithms for the SAT problem

DOI10.1109/12.485373zbMath1048.68567OpenAlexW2132271599MaRDI QIDQ4420897

Ding-Zhu Du, Qian-Ping Gu, Jun Gu

Publication date: 1996

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.485373

zbMATH Keywords

time complexitysatisfiabilityconvergence ratio

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

This page was built for publication: Convergence properties of optimization algorithms for the SAT problem