The Hardest Random SAT Problems

Ian Philip Gent, T Walsh, B Nebel, L Dreschler-Fischer

Research output: Contribution to conferencePaper

12 Citations (Scopus)
Original languageEnglish
Pages355-366
Publication statusPublished - 1994

Cite this