arrow
Back
J

Jean-Marie Lagniez

centre national de la recherche scientifique (cnrs)

16H-index
161Paper Count
929Citation Count
Published Papers 3
Publication Date
Definability for model counting
err2020-04-01
err13
errOAAI
errLagniez, Jean-Marie; Lonca, Emmanuel; Marquis, Pierre
errShare
errSave
Boosting MUC extraction in unsatisfiable constraint networks
err2014-06-26
err2
PREAI
errGregoire, Eric; Lagniez, Jean-Marie; Mazure, Bertrand
errShare
errSave