The Hardest Random SAT Problems

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

Research output: Contribution to conferencePaper

Original languageEnglish
Pages355-366
Publication statusPublished - 1994

Cite this