arrow
返回
L

Lakhdar Saïs

centre national de la recherche scientifique (cnrs)

24H指数
277论文数
2.6K被引数
收录论文 10
发表时间
SAT-based models for overlapping community detection in networks
err2020-03-23
err14
PREAI
errJabbour, Said; Mhadhbi, Nizar; Raddaoui, Badran; Sais, Lakhdar
err分享
err收藏
err分享
err收藏
Mining Top-k motifs with a SAT-based framework
err2017-03-01
err10
PREAI
errJabbour, Said; Sais, Lakhdar; Salhi, Yakoub
err分享
err收藏
What we can learn from conflicts in propositional satisfiability
err2015-10-01
err1
PREAI
errHamadi, Youssef; Jabbour, Said; Sais, Lakhdar
err分享
err收藏
Reasoning from last conflict(s) in constraint programming
err2009-12-01
err38
errOAAI
errLecoutre, Christophe; Sais, Lakhdar; Tabary, Sebastien; Vidal, Vincent
err分享
err收藏