Suivre
Pr. Lakhdar Sais
Titre
Citée par
Citée par
Année
Boosting systematic search by weighting constraints
F Boussemart, F Hemery, C Lecoutre, L Sais
ECAI 16 (146), 96-97, 2004
7192004
ManySAT: a parallel SAT solver
Y Hamadi, S Jabbour, L Sais
Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 245-262, 2010
4842010
Tabu search for SAT
B Mazure, L Sais, É Grégoire
Proceedings of the fourteenth national conference on artificial intelligence …, 1997
2341997
Boosting complete techniques thanks to local search methods
B Mazure, L Sais, É Grégoire
Annals of mathematics and artificial intelligence 22, 319-331, 1998
1591998
Recovering and exploiting structural knowledge from CNF formulas
R Ostrowski, É Grégoire, B Mazure, L Sais
Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002
1552002
Control-based clause sharing in parallel SAT solving
Y Hamadi, S Jabbour, J Sais
Autonomous Search, 245-267, 2012
1262012
Tractability through symmetries in propositional calculus
B Benhamou, L Sais
Journal of automated reasoning 12, 89-102, 1994
1241994
Reasoning from last conflict (s) in constraint programming
C Lecoutre, L Saïs, S Tabary, V Vidal
Artificial Intelligence 173 (18), 1592-1614, 2009
1042009
Theoretical study of symmetries in propositional calculus and applications
B Benhamou, L Sais
Automated Deduction—CADE-11: 11th International Conference on Automated …, 1992
991992
Vivifying propositional clausal formulae
C Piette, Y Hamadi, L Sais
ECAI 2008, 525-529, 2008
972008
On freezing and reactivating learnt clauses
G Audemard, JM Lagniez, B Mazure, L Sais
Theory and Applications of Satisfiability Testing-SAT 2011: 14th …, 2011
942011
A generalized framework for conflict analysis
G Audemard, L Bordeaux, Y Hamadi, S Jabbour, L Sais
International conference on theory and applications of satisfiability …, 2008
932008
Recording and minimizing nogoods from restarts
C Lecoutre, L Sais, S Tabary, V Vidal
Journal on Satisfiability, Boolean Modeling and Computation 1 (3-4), 147-167, 2006
882006
Extracting MUCs from constraint networks
F Hemery, C Lecoutre, L Sais, F Boussemart
ECAI 6, 113-117, 2006
832006
Diversification and intensification in parallel SAT solving
L Guo, Y Hamadi, S Jabbour, L Sais
Principles and Practice of Constraint Programming–CP 2010: 16th …, 2010
752010
Automatic extraction of functional dependencies
É Grégoire, R Ostrowski, B Mazure, L Sais
Theory and Applications of Satisfiability Testing: 7th International …, 2005
722005
Nogood Recording from Restarts.
C Lecoutre, L Sais, S Tabary, V Vidal
IJCAI 7, 131-136, 2007
682007
A sat-based approach for discovering frequent, closed and maximal patterns in a sequence
E Coquery, S Jabbour, L Sais, Y Salhi
ECAI 2012, 258-263, 2012
622012
Neighborhood-based variable ordering heuristics for the constraint satisfaction problem
C Bessiere, A Chmeiss, L Sais
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001
612001
Two proof procedures for a cardinality based language in propositional calculus
B Benhamou, L Sais, P Siegel
STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science …, 1994
541994
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20