×

zbMATH — the first resource for mathematics

Saïs, Lakhdar

Compute Distance To:
Author ID: sais.lakhdar Recent zbMATH articles by "Saïs, Lakhdar"
Published as: Sais, L.; Sais, Lakhdar; Saïs, L.; Saïs, Lakhdar
Documents Indexed: 41 Publications since 1992, including 1 Book

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 118 times in 98 Documents Cited by Year
ManySAT: a parallel SAT solver. Zbl 1193.68227
Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar
19
2009
Boosting complete techniques thanks to local search methods. Zbl 0905.68143
Mazure, Bertrand; Saïs, Lakhdar; Grégoire, Éric
10
1998
A generalized framework for conflict analysis. Zbl 1138.68485
Audemard, G.; Bordeaux, L.; Hamadi, Y.; Jabbour, S.; Sais, L.
8
2008
Reasoning from last conflict(s) in constraint programming. Zbl 1185.68645
Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent
7
2009
Tractability through symmetries in propositional calculus. Zbl 0804.68134
Benhamou, Belaid; Sais, Lakhdar
7
1994
Theoretical study of symmetries in propositional calculus and applications. Zbl 0925.03077
Benhamou, Belaid; Sais, Lakhdar
6
1992
Enumerating prime implicants of propositional formulae in conjunctive normal form. Zbl 1432.68327
Jabbour, Said; Marques-Silva, Joao; Sais, Lakhdar; Salhi, Yakoub
5
2014
Exploiting MUS structure to measure inconsistency of knowledge bases. Zbl 1403.68286
Jabbour, Said; Sais, Lakhdar
4
2016
On freezing and reactivating learnt clauses. Zbl 1330.68267
Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar
4
2011
Eliminating redundant clauses in SAT instances. Zbl 1214.68333
Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar
4
2007
Support inference for generic filtering. Zbl 1152.68543
Boussemart, Frederic; Hemery, Fred; Lecoutre, Christophe; Sais, Lakhdar
4
2004
Neighborhood-based variable ordering heuristics for the constraint satisfaction problem. Zbl 1067.68616
Bessière, Christian; Chmeiss, Assef; Saïs, Lakhdar
4
2001
Iterated syntax-based revision in a nonmonotonic setting. Zbl 1016.03016
Bessant, Brigitte; Grégoire, Eric; Marquis, Pierre; Saïs, Lakhdar
4
2001
Two proof procedures for a cardinality based language in propositional calculus. Zbl 0941.03510
Benhamou, Belaid; Sais, Lakhdar; Siegel, Pierre
4
1994
A SAT-based approach for discovering frequent, closed and maximal patterns in a sequence. Zbl 1327.68213
Coquery, Emmanuel; Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub
3
2012
Learning from conflicts in propositional satisfiability. Zbl 1242.68287
Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar
3
2012
Deterministic parallel DPLL. Zbl 1331.68208
Hamadi, Youssef; Jabbour, Said; Piette, Cedric; Sais, Lakhdar
3
2011
Recording and minimizing nogoods from restarts. Zbl 1144.68373
Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent
3
2006
Quantifying conflicts in propositional logic through prime implicates. Zbl 1419.68145
Jabbour, Said; Ma, Yue; Raddaoui, Badran; Sais, Lakhdar
2
2017
Symmetries in itemset mining. Zbl 1327.68194
Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub; Tabia, Karim
2
2012
Automatic extraction of functional dependencies. Zbl 1122.68597
Grégoire, Éric; Ostrowski, Richard; Mazure, Bertrand; Saïs, Lakhdar
2
2005
Checking depth-limited consistency and inconsistency in knowledge-based systems. Zbl 0995.68116
Brisoux, Laure; Grégoire, Éric; Saïs, Lakhdar
2
2001
Efficient SAT-based encodings of conditional cardinality constraints. Zbl 1415.68185
Boudane, Abdelhamid; Jabbour, Said; Baddaoui, Badran; Sais, Lakhdar
1
2018
Handbook of parallel constraint reasoning. Zbl 1387.68001
Hamadi, Youssef (ed.); Sais, Lakhdar (ed.)
1
2018
Boosting local search thanks to cdcl. Zbl 1306.68138
Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar
1
2010
Efficient combination of decision procedures for MUS computation. Zbl 1193.68226
Piette, Cédric; Hamadi, Youssef; Saïs, Lakhdar
1
2009
Using SAT encodings to derive CSP value ordering heuristics. Zbl 1147.68714
Lecoutre, Christophe; Saïs, Lakhdar; Vion, Julien
1
2006
Using Boolean constraint propagation for sub-clauses deduction. Zbl 1153.68456
Darras, S.; Dequen, G.; Devendeville, L.; Mazure, B.; Ostrowski, R.; Saïs, L.
1
2005
A symbolic search based approach for quantified Boolean formulas. Zbl 1128.68451
Audemard, Gilles; Saïs, Lakhdar
1
2005
Using failed local search for SAT as an oracle for tackling harder A. I. problems more efficiently. Zbl 1020.68512
Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar
1
2002
Efficient SAT-based encodings of conditional cardinality constraints. Zbl 1415.68185
Boudane, Abdelhamid; Jabbour, Said; Baddaoui, Badran; Sais, Lakhdar
1
2018
Handbook of parallel constraint reasoning. Zbl 1387.68001
Hamadi, Youssef (ed.); Sais, Lakhdar (ed.)
1
2018
Quantifying conflicts in propositional logic through prime implicates. Zbl 1419.68145
Jabbour, Said; Ma, Yue; Raddaoui, Badran; Sais, Lakhdar
2
2017
Exploiting MUS structure to measure inconsistency of knowledge bases. Zbl 1403.68286
Jabbour, Said; Sais, Lakhdar
4
2016
Enumerating prime implicants of propositional formulae in conjunctive normal form. Zbl 1432.68327
Jabbour, Said; Marques-Silva, Joao; Sais, Lakhdar; Salhi, Yakoub
5
2014
A SAT-based approach for discovering frequent, closed and maximal patterns in a sequence. Zbl 1327.68213
Coquery, Emmanuel; Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub
3
2012
Learning from conflicts in propositional satisfiability. Zbl 1242.68287
Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar
3
2012
Symmetries in itemset mining. Zbl 1327.68194
Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub; Tabia, Karim
2
2012
On freezing and reactivating learnt clauses. Zbl 1330.68267
Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar
4
2011
Deterministic parallel DPLL. Zbl 1331.68208
Hamadi, Youssef; Jabbour, Said; Piette, Cedric; Sais, Lakhdar
3
2011
Boosting local search thanks to cdcl. Zbl 1306.68138
Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar
1
2010
ManySAT: a parallel SAT solver. Zbl 1193.68227
Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar
19
2009
Reasoning from last conflict(s) in constraint programming. Zbl 1185.68645
Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent
7
2009
Efficient combination of decision procedures for MUS computation. Zbl 1193.68226
Piette, Cédric; Hamadi, Youssef; Saïs, Lakhdar
1
2009
A generalized framework for conflict analysis. Zbl 1138.68485
Audemard, G.; Bordeaux, L.; Hamadi, Y.; Jabbour, S.; Sais, L.
8
2008
Eliminating redundant clauses in SAT instances. Zbl 1214.68333
Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar
4
2007
Recording and minimizing nogoods from restarts. Zbl 1144.68373
Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent
3
2006
Using SAT encodings to derive CSP value ordering heuristics. Zbl 1147.68714
Lecoutre, Christophe; Saïs, Lakhdar; Vion, Julien
1
2006
Automatic extraction of functional dependencies. Zbl 1122.68597
Grégoire, Éric; Ostrowski, Richard; Mazure, Bertrand; Saïs, Lakhdar
2
2005
Using Boolean constraint propagation for sub-clauses deduction. Zbl 1153.68456
Darras, S.; Dequen, G.; Devendeville, L.; Mazure, B.; Ostrowski, R.; Saïs, L.
1
2005
A symbolic search based approach for quantified Boolean formulas. Zbl 1128.68451
Audemard, Gilles; Saïs, Lakhdar
1
2005
Support inference for generic filtering. Zbl 1152.68543
Boussemart, Frederic; Hemery, Fred; Lecoutre, Christophe; Sais, Lakhdar
4
2004
Using failed local search for SAT as an oracle for tackling harder A. I. problems more efficiently. Zbl 1020.68512
Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar
1
2002
Neighborhood-based variable ordering heuristics for the constraint satisfaction problem. Zbl 1067.68616
Bessière, Christian; Chmeiss, Assef; Saïs, Lakhdar
4
2001
Iterated syntax-based revision in a nonmonotonic setting. Zbl 1016.03016
Bessant, Brigitte; Grégoire, Eric; Marquis, Pierre; Saïs, Lakhdar
4
2001
Checking depth-limited consistency and inconsistency in knowledge-based systems. Zbl 0995.68116
Brisoux, Laure; Grégoire, Éric; Saïs, Lakhdar
2
2001
Boosting complete techniques thanks to local search methods. Zbl 0905.68143
Mazure, Bertrand; Saïs, Lakhdar; Grégoire, Éric
10
1998
Tractability through symmetries in propositional calculus. Zbl 0804.68134
Benhamou, Belaid; Sais, Lakhdar
7
1994
Two proof procedures for a cardinality based language in propositional calculus. Zbl 0941.03510
Benhamou, Belaid; Sais, Lakhdar; Siegel, Pierre
4
1994
Theoretical study of symmetries in propositional calculus and applications. Zbl 0925.03077
Benhamou, Belaid; Sais, Lakhdar
6
1992
all top 5

Cited by 227 Authors

7 Saïs, Lakhdar
5 Grégoire, Éric
5 Mazure, Bertrand
4 Marques-Silva, João P.
4 Thimm, Matthias
3 Benhamou, Belaid
3 de Givry, Simon
3 Jabbour, Said
3 Lecoutre, Christophe
3 Liu, Weiru
3 Schiex, Thomas
2 Adel’shin, A. V.
2 Allouche, David
2 Areces, Carlos
2 Audemard, Gilles
2 Balyo, Tomáš
2 Bell, David A.
2 Boizumault, Patrice
2 Brewka, Gerhard
2 Cambazard, Hadrien
2 Cooper, Martin C.
2 Dequen, Gilles
2 Fages, Jean-Guillaume
2 Galinier, Philippe
2 Guns, Tias
2 Hamadi, Youssef
2 Hertz, Alain
2 Ignatyev, Alexey A.
2 Janota, Mikoláš
2 Jeavons, Peter G.
2 Jussien, Narendra
2 Lang, Jérôme
2 Loudni, Samir
2 Lynce, Inês
2 Marquis, Pierre
2 Martello, Silvano
2 Orbe, Ezequiel
2 Piette, Cédric
2 Qi, Guilin
2 Selman, Bart
2 Sinz, Carsten
2 Stergiou, Kostas
2 Ulbricht, Markus
2 Van Gelder, Allen
2 Van Hentenryck, Pascal
1 Abreu, Salvador
1 Al-Saedi, Balasim
1 Al-Yahya, Tasniem Nasser
1 Alliot, Jean-Marc
1 Amadini, Roberto
1 André, Isabelle
1 Angione, Claudio
1 Aoga, John O. R.
1 Arai, Noriko H.
1 Bailleux, Olivier
1 Balafoutis, Thanasis
1 Barbe, Sophie
1 Becker, Bernd
1 Belov, Anton
1 Benferhat, Salem
1 Bessiere, Christian
1 Biere, Armin
1 Bockmayr, Alexander
1 Boussemart, Frédéric
1 Boy de la Tour, Thierry
1 Brisoux, Laure
1 Burchard, Jan
1 Caniou, Yves
1 Cerutti, Federico
1 Cheng, Xi
1 Codognet, Philippe
1 Cohen, David A.
1 Crama, Yves
1 Crémilleux, Bruno
1 Darwiche, Adnan
1 Davies, Jessica
1 De Raedt, Luc
1 Demolombe, Robert
1 Desrosiers, Christian
1 Deville, Yves
1 Diaz, Daniel
1 Diéguez, Martín
1 Dries, Anton
1 Dubois, Olivier
1 Dufourd, Jean-François
1 El-bachir Menai, Mohamed
1 Epstein, Susan L.
1 Essert-Villard, C.
1 Fariñas del Cerro, Luis
1 Favre, Gilles
1 Faye, Jean-Charles
1 Fioretto, Ferdinando
1 Fourdrinoy, Olivier
1 Gabbrielli, Maurizio
1 Gent, Ian Philip
1 Giacomin, Massimiliano
1 Giunchiglia, Enrico
1 Glass, David H.
1 Grabisch, Michel
1 Griggio, Alberto
...and 127 more Authors

Citations by Year