arrow
返回
A

Alexey Ignatiev

universite de toulouse

25H指数
107论文数
1.9K被引数
收录论文 4
发表时间
A Formal Explainer for Just-In-Time Defect Predictions及时缺陷预测的正式解释器
err2024-08-26
err0
errOAAI
errYu, Jinqiang; Fu, Michael; Ignatiev, Alexey; Tantithamthavorn, Chakkrit; Stuckey, Peter
err分享
err收藏
On computing probabilistic abductive explanations
err2023-08-01
err6
errOAAI
errIzza, Yacine; Huang, Xuanxiang; Ignatiev, Alexey; Narodytska, Nina; Cooper, Martin; -Silva, Joao Marques
err分享
err收藏
err分享
err收藏
Propositional proof systems based on maximum satisfiability
err2021-11-01
err6
PREAI
errBonet, Maria Luisa; Buss, Sam; Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
err分享
err收藏