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, 2004
7132004
ManySAT: a parallel SAT solver
Y Hamadi, S Jabbour, L Sais
Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 245-262, 2010
4702010
Tabu search for SAT
B Mazure, L Sais, É Grégoire
Proceedings of the fourteenth national conference on artificial intelligence …, 1997
2391997
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
1482002
Tractability through symmetries in propositional calculus
B Benhamou, L Sais
Journal of automated reasoning 12, 89-102, 1994
1241994
Control-Based Clause Sharing in Parallel SAT Solving.
Y Hamadi, S Jabbour, L Sais
Autonomous Search, 245-267, 2012
1182012
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
981992
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
922008
On freezing and reactivating learnt clauses
G Audemard, JM Lagniez, B Mazure, L Sais
Theory and Applications of Satisfiability Testing-SAT 2011: 14th …, 2011
912011
Vivifying propositional clausal formulae
C Piette, Y Hamadi, L Sais
ECAI 2008, 525-529, 2008
902008
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
872006
Extracting MUCs from constraint networks
F Hemery, C Lecoutre, L Sais, F Boussemart
ECAI 6, 113-117, 2006
802006
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
732010
Automatic extraction of functional dependencies
É Grégoire, R Ostrowski, B Mazure, L Sais
Theory and Applications of Satisfiability Testing: 7th International …, 2005
702005
Nogood Recording from Restarts.
C Lecoutre, L Sais, S Tabary, V Vidal
IJCAI 7, 131-136, 2007
672007
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
642001
A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence.
E Coquery, S Jabbour, L Sais, Y Salhi
ECAI 242, 258-263, 2012
602012
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
521994
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20