Pr. Lakhdar Sais
Title
Cited by
Cited by
Year
Boosting systematic search by weighting constraints
F Boussemart, F Hemery, C Lecoutre, L Sais
ECAI 16, 146, 2004
6162004
ManySAT: a parallel SAT solver
Y Hamadi, S Jabbour, L Sais
Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 245-262, 2010
3932010
Tabu search for SAT
B Mazure, L Sais, É Grégoire
AAAI/IAAI, 281-285, 1997
2191997
Boosting complete techniques thanks to local search methods
B Mazure, L Sais, É Grégoire
Annals of mathematics and artificial intelligence 22 (3), 319-331, 1998
1481998
Recovering and exploiting structural knowledge from CNF formulas
R Ostrowski, É Grégoire, B Mazure, L Sais
International Conference on Principles and Practice of Constraint …, 2002
1312002
Tractability through symmetries in propositional calculus
B Benhamou, L Sais
Journal of automated reasoning 12 (1), 89-102, 1994
1121994
Control-based clause sharing in parallel SAT solving
Y Hamadi, S Jabbour, J Sais
Autonomous Search, 245-267, 2011
1102011
Theoretical study of symmetries in propositional calculus and applications
B Benhamou, L Sais
International Conference on Automated Deduction, 281-294, 1992
951992
On freezing and reactivating learnt clauses
G Audemard, JM Lagniez, B Mazure, L Sais
International Conference on Theory and Applications of Satisfiability …, 2011
832011
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
792008
Vivifying Propositional Clausal Formulae.
C Piette, Y Hamadi, L Sais
ECAI 178, 525-529, 2008
762008
Reasoning from last conflict (s) in constraint programming
C Lecoutre, L Saïs, S Tabary, V Vidal
Artificial Intelligence 173 (18), 1592-1614, 2009
732009
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
712006
Extracting MUCs from constraint networks
F Hemery, C Lecoutre, L Sais, F Boussemart
ECAI 6, 113-117, 2006
682006
Automatic extraction of functional dependencies
É Grégoire, R Ostrowski, B Mazure, L Sais
International Conference on Theory and Applications of Satisfiability …, 2004
662004
Diversification and intensification in parallel SAT solving
L Guo, Y Hamadi, S Jabbour, L Sais
International conference on principles and practice of constraint …, 2010
622010
Neighborhood-based variable ordering heuristics for the constraint satisfaction problem
C Bessiere, A Chmeiss, L Sais
International Conference on Principles and Practice of Constraint …, 2001
622001
Nogood Recording from Restarts.
C Lecoutre, L Sais, S Tabary, V Vidal
IJCAI 7, 131-136, 2007
602007
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
562012
Two proof procedures for a cardinality based language in propositional calculus
B Benhamou, L Sais, P Siegel
Annual Symposium on Theoretical Aspects of Computer Science, 71-82, 1994
471994
The system can't perform the operation now. Try again later.
Articles 1–20