SAT 2000: Highlights of Satisfiability Research in the Year 2000

Ian Philip Gent, H van Maaren, T Walsh

Research output: Book/ReportBook

Original languageEnglish
PublisherUnknown Publisher
ISBN (Print)1 58603 061 2
Publication statusPublished - 2000

Cite this