arrow
返回
M

Marı́a Luisa Bonet

universitat politecnica de catalunya

26H指数
85论文数
2.1K被引数
收录论文 6
发表时间
Polynomial calculus for optimization用于优化的多项式演算
err2024-12-01
err0
errOAAI
errBonacina, Ilario; Bonet, Maria Luisa; Levy, Jordi
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收藏
SAT-based MaxSAT algorithms
err2013-03-01
err123
errOAAI
errAnsotegui, Carlos; Luisa Bonet, Maria; Levy, Jordi
err分享
err收藏
err分享
err收藏
Resolution for Max-SATMax-sat的分辨率
err2007-06-01
err91
errOAAI
errBonet, Maria Luisa; Levy, Jordi; Manya, Felip
err分享
err收藏