ON FINDING MINIMALLY UNSATISFIABLE CORES OF CSPs
- 期刊名称International Journal on Artificial Intelligence Tools
- 作者GRÉGOIRE, ÉRIC; MAZURE, BERTRAND; PIETTE, CÉDRIC
- 卷第17卷
- 期第4期
- 印刷ISSN0218-2130
- 电子ISSN1793-6349
- 文件大小537.00KB
- 发表时间2008-08
- DOI10.1142/S0218213008004138
- 页码745-763
同期刊推荐
Survival Mechanisms of Entomopathogenic NematodesGLAZER, I. · Biocontrol Science and Technology · 1996
Biological control of <i>Pythium</i> speciesWhipps, John M.; Lumsden, Robert D. · Biocontrol Science and Technology · 1991
A knapweed biological control perspectiveHarris, Peter · Biocontrol Science and Technology · 2011
CorrigendumBiocontrol Science and Technology · 1992
Book ReviewBiocontrol Science and Technology · 2002
Book reviewBiocontrol Science and Technology · 2005
Book ReviewVAN EMDEN, HELMUT · Biocontrol Science and Technology · 1999
Editorial boardBiocontrol Science and Technology · 1992