The SAT2002 Competition
Laurent Simon; Daniel Le Berre; Edward A. Hirsch
- 期刊名称Annals of Mathematics and Artificial Intelligence
- 作者Laurent Simon; Daniel Le Berre; Edward A. Hirsch
- 卷第43卷
- 印刷ISSN1012-2443
- 电子ISSN1573-7470
- 文件大小256.59KB
- 发表时间2005
- DOI10.1007/s10472-004-9424-1
- 页码307-342