Satisfiability in the year 2000

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

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

Access to Document

@article{5c1332805ae644d58a9a26f4508b447a,

title = "Satisfiability in the year 2000",

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

year = "2002",

month = feb,

doi = "10.1023/A:1015051815026",

language = "English",

volume = "28",

pages = "99--99",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer",

number = "2",

}

TY - JOUR

T1 - Satisfiability in the year 2000

AU - Gent, I P

AU - Walsh, T

PY - 2002/2

Y1 - 2002/2

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

U2 - 10.1023/A:1015051815026

DO - 10.1023/A:1015051815026

M3 - Editorial

SN - 0168-7433

VL - 28

SP - 99

EP - 99

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 2

ER -