The SAT2002 competition

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