Satisfiability in the Year 2000

I P Gent, T Walsh

Research output: Contribution to journalEditorialpeer-review

2 Citations (Scopus)
Original languageEnglish
Pages (from-to)1-3
Number of pages3
JournalJournal of Automated Reasoning
Volume24
Issue number1-2
DOIs
Publication statusPublished - Feb 2000

Cite this