Original language | English |
---|---|
Publisher | Unknown Publisher |
ISBN (Print) | 1 58603 061 2 |
Publication status | Published - 2000 |
SAT 2000: Highlights of Satisfiability Research in the Year 2000
Ian Philip Gent, H van Maaren, T Walsh
Research output: Book/Report › Book