D Le Berre, A Parrain

Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 59-64, 2010

J Xuan, M Martinez, F Demarco, M Clement, SL Marcote, T Durieux, ...

IEEE Transactions on Software Engineering 43 (1), 34-55, 2016

M Järvisalo, D Le Berre, O Roussel, L Simon

Ai Magazine 33 (1), 89-92, 2012

F DeMarco, J Xuan, D Le Berre, M Monperrus

Proceedings of the 6th international workshop on constraints in software …, 2014

G Brewka, S Benferhat, D Le Berre

Artificial Intelligence 157 (1-2), 203-237, 2004

D Le Berre

Electronic Notes in Discrete Mathematics 9, 59-80, 2001

S Benferhat, S Kaci, D Le Berre, MA Williams

Artificial Intelligence 153 (1-2), 339-371, 2004

D Le Berre, L Simon

International Conference on Theory and Applications of Satisfiability …, 2003

L Simon, D Le Berre, EA Hirsch

Annals of Mathematics and Artificial Intelligence 43, 307-342, 2005

J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault

arXiv preprint arXiv:1007.1021, 2010

D Le Berre, P Rapicault

Proceedings of the 1st international workshop on Open component ecosystems …, 2009

D Dubois, DL Berre, H Prade, R Sabbadin

Fundamenta Informaticae 37 (1-2), 1-30, 1999

A Biere, D Le Berre, E Lonca, N Manthey

International Conference on Theory and Applications of Satisfiability …, 2014

D Le Berre, L Simon

International Conference on Theory and Applications of Satisfiability …, 2004

D Le Berre, L Simon, A Tacchella

International Conference on Theory and Applications of Satisfiability …, 2003

L Amgoud, C Cayrol, D Le Berre

Proceedings Eighth IEEE International Conference on Tools with Artificial …, 1996

D Déharbe, P Fontaine, D Le Berre, B Mazure

2013 Formal Methods in Computer-Aided Design, 46-52, 2013

D Le Berre, A Parrain

First Workshop on Software Product Lines (ASPL'08), 197-200, 2008

DL Berre

http://www. sat4j. org/, 2006

D Dubois, D Le Berre, H Prade, R Sabbadin

AAAI/IAAI, 588-593, 1998