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
6282004
ManySAT: a parallel SAT solver
Y Hamadi, S Jabbour, L Sais
Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 245-262, 2010
4002010
Tabu search for SAT
B Mazure, L Sais, É Grégoire
AAAI/IAAI, 281-285, 1997
2161997
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
1541998
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
1352002
Tractability through symmetries in propositional calculus
B Benhamou, L Sais
Journal of automated reasoning 12 (1), 89-102, 1994
1131994
Control-based clause sharing in parallel SAT solving
Y Hamadi, S Jabbour, J Sais
Autonomous Search, 245-267, 2011
1092011
Theoretical study of symmetries in propositional calculus and applications
B Benhamou, L Sais
International Conference on Automated Deduction, 281-294, 1992
931992
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
802008
Vivifying propositional clausal formulae
C Piette, Y Hamadi, L Sais
ECAI 2008, 525-529, 2008
782008
Reasoning from last conflict (s) in constraint programming
C Lecoutre, L Saïs, S Tabary, V Vidal
Artificial Intelligence 173 (18), 1592-1614, 2009
772009
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
742006
Extracting MUCs from constraint networks
F Hemery, C Lecoutre, L Sais, F Boussemart
ECAI 6, 113-117, 2006
702006
Automatic extraction of functional dependencies
É Grégoire, R Ostrowski, B Mazure, L Sais
International Conference on Theory and Applications of Satisfiability …, 2004
682004
Diversification and intensification in parallel SAT solving
L Guo, Y Hamadi, S Jabbour, L Sais
International conference on principles and practice of constraint …, 2010
632010
Nogood Recording from Restarts.
C Lecoutre, L Sais, S Tabary, V Vidal
IJCAI 7, 131-136, 2007
632007
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
632001
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
572012
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
461994
The system can't perform the operation now. Try again later.
Articles 1–20