Towards an Understanding of Hill-Climbing Procedures for SAT

Research output: Contribution to conferencePaper

129 Citations (Scopus)
Original languageEnglish
Pages28-33
Publication statusPublished - 1993

Cite this