Satisfiability in the Year 2000

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Pages (from-to)	1-3
Number of pages	3
Journal	Journal of Automated Reasoning
Volume	24
Issue number	1-2
DOIs	https://doi.org/10.1023/A:1006338702529
Publication status	Published - Feb 2000

Access to Document

@article{22d80475cab74bf3add45e47f98bd3c8,

title = "Satisfiability in the Year 2000",

author = "Gent, {I P} and T Walsh",

year = "2000",

month = feb,

doi = "10.1023/A:1006338702529",

language = "English",

volume = "24",

pages = "1--3",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer",

number = "1-2",

}

TY - JOUR

T1 - Satisfiability in the Year 2000

AU - Gent, I P

AU - Walsh, T

PY - 2000/2

Y1 - 2000/2

UR - http://www.scopus.com/inward/record.url?scp=33645453000&partnerID=8YFLogxK

U2 - 10.1023/A:1006338702529

DO - 10.1023/A:1006338702529

M3 - Editorial

SN - 0168-7433

VL - 24

SP - 1

EP - 3

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 1-2

ER -