ITA
ENG

Satisfability in the Year 2000

Authors

I.P.Gent,T.Walsh

Citation

I.p.gent,t.walsh, Satisfability in the Year 2000, Journal of automated reasoning , 24(1/2), 2000, pp. 1-3

Journal title

Journal of automated reasoning → ACNP

ISSN journal

01687433

Volume

24

Issue

1/2

Year of publication

2000

Pages

1 - 3

Database

ACNP

SICI code