Bertrand MAZURE

International journal paper(s)

1. Éric GRÉGOIRE, Jean-marie LAGNIEZ, Bertrand MAZURE, « Boosting MUC extraction in unsatisfiable constraint networks », in Applied Intelligence, vol. 41, n° 4, pp. 1012-1023, 2014.
   [BibTeX]
2. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Using local search to find MSSes and MUSes », in European Journal of Operational Research (EJOR), vol. 199, n° 3, pp. 640-646, december 2009.
   [BibTeX]
3. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « On Finding Minimally Unsatisfiable Cores of CSPs », in International Journal on Artificial Intelligence Tools (IJAIT), vol. 17, n° 4, pp. 745 - 763, august 2008.
   [BibTeX]
4. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Local-Search Extraction of MUSes », in Constraints , vol. 12, n° 3, pp. 325-344, september 2007.
   [BibTeX]
5. Éric GRÉGOIRE, Bertrand MAZURE, « About the incremental validation of first-order stratified knowledge-based decision-support systems », in Information Sciences (IS), vol. 142, Elsevier, pp. 117-129, 2002.
   [BibTeX]
6. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « Boosting complete techniques thanks to local search », in International Journal of Annals of Mathematics and Artificial Intelligence (AMAI), vol. 22, pp. 309-322, 1998.
   [BibTeX]
7. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « An efficient technique to ensure the logical consistency of cooperative agents », in International Journal of Cooperative Information Systems (IJCIS), vol. 6, n° 1, pp. 27-36, 1997.
   [BibTeX]

National journal paper(s)

8. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Extraction d'ensembles minimaux conflictuels basée sur la recherche locale », in Revue d'Intelligence Artificielle (RIA), vol. 22, n° 2, pp. 161-181, april 2008.
   [BibTeX]
9. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « MUST et couvertures de MUST pour l'explication et la réparation de CSP incohérents au niveau tuple », in Information-Interaction-Intelligence (Revue I3), vol. 8, n° 2, pp. 181-202, 2008.
   [BibTeX]

International conference paper(s) with proceedings

10. Éric GRÉGOIRE, Jean-marie LAGNIEZ, Bertrand MAZURE, « An Experimentally Efficient Method for (MSS, CoMSS) Partitioning », in 28th Conference on Artificial Intelligence (AAAI'14), pp. 2666-2673, 2014.
    [BibTeX]
11. Éric GRÉGOIRE, Jean-marie LAGNIEZ, Bertrand MAZURE, « A General Artificial Intelligence Approach for Skeptical Reasoning », in 7th Conference on Artificial General Intelligence (AGI'14), pp. 33-42, 2014.
    [BibTeX]
12. Michael SIOUTIS, Jean-françois CONDOTTA, Yakoub SALHI, Bertrand MAZURE, « A Qualitative Spatio-Temporal Framework Based on Point Algebra », in 16th Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA'14), pp. 117-128, 2014.
    [BibTeX]
13. Éric GRÉGOIRE, Jean-marie LAGNIEZ, Bertrand MAZURE, « Enforcing Solutions in Constraint Networks », in 21st European Conference on Artificial Intelligence (ECAI'14), pp. 1017-1018, 2014.
    [BibTeX]
14. Éric GRÉGOIRE, Jean-marie LAGNIEZ, Bertrand MAZURE, « Multiple Contraction through Partial-Max-SAT », in 26th International Conference on Tools with Artificial Intelligence (ICTAI'14), pp. 321-327, 2014.
    [BibTeX]
15. Mohammad AL-SAEDI, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT », in 26th International Conference on Tools with Artificial Intelligence (ICTAI'14), pp. 446-452, 2014.
    [BibTeX]
16. Éric GRÉGOIRE, Jean-marie LAGNIEZ, Bertrand MAZURE, « Preserving Partial Solutions while Relaxing Constraint Networks », in 23th International Joint Conference on Artificial Intelligence (IJCAI'13), pp. 552--558, august 2013.
    [BibTeX]
17. Éric GRÉGOIRE, Atef HASNI, Cédric PIETTE, Bertrand MAZURE, « Solving E-SquarO through SAT-coding », in 25th International Conference on Tools with Artificial Intelligence (ICTAI'13), IEEE Press, pp. 955-962, 2013.
    [BibTeX]
18. Éric GRÉGOIRE, Jean-marie LAGNIEZ, Bertrand MAZURE, « Questioning the Importance of WCORE-like Minimization steps in MUC-finding Algorithms », in 25th International Conference on Tools with Artificial Intelligence (ICTAI'13), IEEE Press, pp. 923-930, 2013.
    [BibTeX]
19. David DEHARBE, Pascal FONTAINE, Daniel LE BERRE, Bertrand MAZURE, « Computing prime implicants », in 13th International Conference on Formal Methods in Computer-Aided Design (FMCAD'13), IEEE Press, 2013.
    [BibTeX]
20. Éric GRÉGOIRE, Jean-marie LAGNIEZ, Bertrand MAZURE, « Relax! », in 24th International Conference on Tools with Artificial Intelligence (ICTAI'12), IEEE Computer Press, pp. 146--153, november 2012.
    [BibTeX]
21. Éric GRÉGOIRE, Jean-marie LAGNIEZ, Bertrand MAZURE, « A CSP solver focusing on FAC variables », in 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Springer, pp. 493-507, september 2011.
    [BibTeX]
22. Gilles AUDEMARD, Jean-marie LAGNIEZ, Bertrand MAZURE, Lakhdar SAÏS, « On freezeing and reactivating learnt clauses », in 14th International Conference on Theory and Applications of Satisfiability Testing (SAT'11), Springer, pp. 188-200, june 2011. (Best paper award)
    [BibTeX]
23. Gilles AUDEMARD, Jean-marie LAGNIEZ, Bertrand MAZURE, Lakhdar SAÏS, « Boosting local search thanks to CDCL », in 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'10), Springer, pp. 474--488, october 2010.
    [BibTeX]
24. Gilles AUDEMARD, Jean-marie LAGNIEZ, Bertrand MAZURE, Lakhdar SAÏS, « Learning in local search », in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09), IEEE Computer Society, pp. 417-424, november 2009.
    [BibTeX]
25. Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Local autarkies searching for the dynamic partition of CNF formulae », in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09), IEEE Computer Society, pp. 107-114, november 2009.
    [BibTeX]
26. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Does this set of clauses overlap with at least one MUS? », in 22nd International Conference on Automated Deduction (CADE 22), Springer, pp. 100-115, august 2009.
    [BibTeX]
27. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « On Approaches to Explaining Infeasibility of Sets of Boolean Clauses », in 20th International Conference on Tools with Artificial Intelligence (ICTAI'08), IEEE Computer Society, pp. 74-83, november 2008.
    [BibTeX]
28. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « MUST: Provide a Finer-Grained Explanation of Unsatisfiability », in 13th International Conference on Principles and Practice of Constraint Programming (CP'07), LNCS 4741, pp. 317-331, september 2007.
    [BibTeX]
29. Olivier FOURDRINOY, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Reducing hard SAT instances to polynomial ones », in the 2007 IEEE international conference on Information Reuse and Integration (IEEE-IRI'07), pp. 18-23, august 2007.
    [BibTeX]
30. Olivier FOURDRINOY, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Eliminating Redundant Clauses in Sat Instances », in The Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'07), Lecture Notes in Computer Science (LNCS 4510), Springer, pp. 71-83, may 2007. (lncs 4510)
    [BibTeX]
31. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Boosting a Complete Technique to Find MSS and MUS thanks to a Local Search Oracle », in International Joint Conference on Artificial Intelligence (IJCAI'07), pp. 2300-2305, january 2007.
    [BibTeX]
32. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Tracking MUSes and Strict Inconsistent Covers », in Sixth ACM/IEEE International Conference on Formal Methods in Computer Aided Design (FMCAD'06), pp. 39-46, november 2006.
    [BibTeX]
33. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, Lakhdar SAÏS, « A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs », in Proceedings of the IEEE International Conference on Information Reuse and Integration (IEEE-IRI'2006), pp. 325-329, september 2006.
    [BibTeX]
34. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Extracting MUSes », in 17th European Conference on Artificial Intelligence (ECAI'06), pp. 387-391, august 2006.
    [BibTeX]
35. Olivier FOURDRINOY, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Exploring Hybrid Algorithms for SAT », in 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'05), pp. 33-37, december 2005. (short paper)
    [BibTeX]
36. Sylvain DARRAS, Gilles DEQUEN, Laure DEVENDEVILLE, Bertrand MAZURE, Richard OSTROWSKI, Lakhdar SAÏS, « Using Boolean Constraint Propagation for Sub-clause Deduction », in 11th International Conference on Principles and Practice of Constraint Programming (CP'05), LNCS 3709, Springer Verlag, pp. 757-761, october 2005.
    [BibTeX]
37. Éric GRÉGOIRE, Bertrand MAZURE, Richard OSTROWSKI, Lakhdar SAÏS, « Automatic extraction of functional dependencies », in Theory and Applications of Satisfiability Testing: 7th International Conference (SAT 2004), Revised Selected Papers, (SAT'04 Revised Selected Papers), LNCS 3542, pp. 122-132, 2005.
    [BibTeX]
38. Gilles AUDEMARD, Bertrand MAZURE, Lakhdar SAÏS, « Dealing with Symmetries in Quantified Boolean Formulas », in Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT'04), pp. 257-262, 2004.
    [BibTeX]
39. Éric GRÉGOIRE, Richard OSTROWSKI, Bertrand MAZURE, Lakhdar SAÏS, « Automatic extraction of functional dependencies », in Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT'04), 2004.
    [BibTeX]
40. Richard OSTROWSKI, Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « Eliminating redundancies in SAT search trees », in 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'03), pp. 100-104, november 2003.
    [BibTeX]
41. Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Using failed local search for SAT as an oracle for tackling harder A.I. problems more efficiently », in Proc. of the Tenth International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA'2002), LNCS 2443, Springer Verlag, pp. 51-60, september 2002.
    [BibTeX]
42. Richard OSTROWSKI, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Recovering and exploiting structural knowledge from CNF formulas », in Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'02), LNCS 2470, Springer Verlag, pp. 185-199, september 2002.
    [BibTeX]
43. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « System Description: CRIL Platform for SAT », in Proceedigns of the 15th Intl. Conf. on Automated Deduction (CADE-15), LNCS 1421, Springer Verlag, pp. 124-128, july 1998.
    [BibTeX]
44. Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Logically-complete local search for propositional nonmonotonic knowledge bases », in Proceedings of the 7th Intl. Workshop on Nonmonotonic Reasoning (NMR'98), pp. 37-45, june 1998.
    [BibTeX]
45. Yacine BOUFKHAD, Éric GRÉGOIRE, Pierre MARQUIS, Bertrand MAZURE, Lakhdar SAÏS, « Tractable cover compilations », in 15th International Joint Conference on Artificial Intelligence (IJCAI'97), pp. 122-127, august 1997.
    [BibTeX]
46. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « Tabu Search for SAT », in Proceedings of the 14th American National Conference on Artificial Intelligence (AAAI'97), pp. 281-285, july 1997.
    [BibTeX]
47. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases », in 9th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07), LNAI 1244, Springer Verlag, pp. 122-130, june 1997.
    [BibTeX]
48. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « Local search for computing normal circumstances models », in Proceedings oh the International Conference on Computational Intelligence (ICCI'97), LNCS 1226, Springer Verlag, pp. 55-56, april 1997.
    [BibTeX]
49. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « A comparison of two approaches to inconsistency detecting », in Proceedigns of the European Symposium on Intelligent Techniques (ESIT'97), march 1997.
    [BibTeX]
50. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « A Powerful Heuristic to Locate Inconsistent Kernels in Knowledge-Based Systems », in International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'96), pp. 1265-1269, july 1996.
    [BibTeX]
51. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « Detecting Logical Inconsistencies », in Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics (AI/Math'96), pp. 116-121, january 1996.
    [BibTeX]
52. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « TWSAT : a new local search algorithm for SAT : performance and analysis », in Proceedngs of the Workshop CP95 on Solving Really Hard Problems (Wks-SRHP-CP95), pp. 127-130, september 1995.
    [BibTeX]

International conference paper(s) without proceedings

53. Mohammad AL-SAEDI, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « About Some UP-Based Polynomial Fragments of SAT », in International Symposium on Artificial Intelligence and Mathematics (ISAIM'14), january 2014.
    [BibTeX]
54. Jean-marie LAGNIEZ, Éric GRÉGOIRE, Bertrand MAZURE, « A Data Structure Boosting The Performance Of Local Search For Csp Solving », in International Conference on Metaheuristics and Nature Inspired Computing (META'12), october 2012.
    [BibTeX]
55. Gilles AUDEMARD, Jean-marie LAGNIEZ, Bertrand MAZURE, Lakhdar SAÏS, « Integrating Conflict Driven Clause Learning to Local Search », in 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09), september 2009. (dans le cadre de CP'09)
    [BibTeX]
56. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Une méta-heuristique basée sur le comptage de contraintes falsifiées », in First workshop on Metaheuristics (META'06), Actes électroniques, november 2006.
    [BibTeX]
57. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « A new local search algorithm to compute inconsistent kernels », in 6th International Meta-heuristics International Conference (MIC'05), Actes électroniques, august 2005.
    [BibTeX]
58. Richard OSTROWSKI, Bertrand MAZURE, Lakhdar SAÏS, « LSAT solver », in Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT'02), may 2002. (SAT solvers description)
    [BibTeX]
59. Bertrand MAZURE, Pierre MARQUIS, « Theory Reasoning within Implicant Cover Compilations », in Proceedings of the ECAI-96 Workshop on Advances in Propositional Deduction (Wks-APD-ECAI'96), pp. 65-69, august 1996.
    [BibTeX]
60. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « SUN : a Multistrategy Platform for SAT », in First International Competition and Symposium on Satisfiability Testing (SAT'96), march 1996. (SAT solvers description)
    [BibTeX]

National conference paper(s)

61. Éric GRÉGOIRE, Jean-marie LAGNIEZ, Bertrand MAZURE, « Une méthode expérimentalement efficace de partition d’une CNF en un MSS et un CoMSS », in 10ièmes Journées Francophones de Programmation par Contraintes (JFPC'14), pp. 183-192, 2014.
    [BibTeX]
62. Gilles AUDEMARD, Jean-marie LAGNIEZ, Bertrand MAZURE, « Approche hybride pour SAT », in 17ième Congrès Francophone sur la Reconnaissance des Formes et Intelligence Artificielle (RFIA'10), pp. 279--286, january 2010.
    [BibTeX]
63. Gilles AUDEMARD, Jean-marie LAGNIEZ, Bertrand MAZURE, Lakhdar SAÏS, « Analyse de conflits dans le cadre de la recherche locale », in 5ièmes Journées Francophones de la Programmation par Contraintes (JFPC'09), pp. 215-224, june 2009.
    [BibTeX]
64. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Localiser des sources d'incohérence spécifiques sans les calculer toutes », in 5ièmes Journées Francophones de la Programmation par Contraintes (JFPC'09), pp. 95-104, june 2009.
    [BibTeX]
65. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Explication et réparation de l'incohérence dans les CSP : de la contrainte au tuple », in 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), pp. 258-267, january 2008.
    [BibTeX]
66. Olivier FOURDRINOY, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Réduction d'instances de SAT vers des instances polynomiales », in 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), pp. 388-396, january 2008.
    [BibTeX]
67. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Une nouvelle méthode hybride pour calculer tous les MSS et tous les MUS », in 3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), pp. 143-150, june 2007.
    [BibTeX]
68. Olivier FOURDRINOY, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Suppression des clauses redondantes dans des instances SAT », in 3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), pp. 28-37, june 2007.
    [BibTeX]
69. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Extraction de sous-formules minimales inconsistantes », in 2ndes Journées Francophones de Programmation par Contraintes (JFPC'06), pp. 201-208, june 2006.
    [BibTeX]
70. Olivier FOURDRINOY, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Heuristique d'ordonnancement des variables pour SAT », in Congrès de la Société Française de Recherche Opérationelle et d'Aide à la Décision (ROADEF'06), january 2006.
    [BibTeX]
71. Sylvain DARRAS, Gilles DEQUEN, Laure DEVENDEVILLE, Bertrand MAZURE, Richard OSTROWSKI, Lakhdar SAÏS, « Utilisation de la Propagation de Contraintes pour la Production de Sous-Clauses », in 1ères Journées Francophones de Programmation par Contraintes (JFPC'05), pp. 69-78, june 2005.
    [BibTeX]
72. Éric GRÉGOIRE, Bertrand MAZURE, Richard OSTROWSKI, Lakhdar SAÏS, « Dépendances Fonctionnelles Booléennes : Détection et Exploitation », in Colloque sur l'Optimisation et les Systèmes d'Information (COSI'05), pp. 263-274, 2005.
    [BibTeX]
73. Éric GRÉGOIRE, Richard OSTROWSKI, Bertrand MAZURE, Lakhdar SAÏS, « Déduction Automatique de Dépendances fonctionnelles », in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04), pp. 171-180, june 2004.
    [BibTeX]
74. Richard OSTROWSKI, Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « Elimination des redondances dans les algorithmes de résolution de SAT », in 14ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'04), pp. 1343-1350, january 2004.
    [BibTeX]
75. Gilles AUDEMARD, Bertrand MAZURE, Lakhdar SAÏS, « Symétries et Formules Booléennes Quantifiées », in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04), pp. 43 - 53, 2004.
    [BibTeX]
76. Richard OSTROWSKI, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Techniques de simplification de CNF », in 8èmes Journées Nationales sur la Résolution Pratique des Problèmes NP-complets (JNPC'02), pp. 181-194, may 2002.
    [BibTeX]
77. Éric GRÉGOIRE, Bertrand MAZURE, « Une méthode complète de recherche locale pour des bases de connaissance propositionnelles non monotones », in 4èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'98), pp. 91-99, 1998.
    [BibTeX]
78. Bertrand MAZURE, Lakhdar SAÏS, Éric GRÉGOIRE, « Deux approches pour la résolution du problème SAT », in 2ème Conférence Nationale sur la Résolution Pratique des Problèmes NP-Complets (CNPC'96), Teknéa Editions, pp. 103-114, march 1996.
    [BibTeX]

Book chapter(s)

79. Éric GRÉGOIRE, Bertrand MAZURE, Cédric PIETTE, « Sous-formules minimales insatisfaisables », in Problème SAT : progrès et défis, chapter 8, Lakhdar Saïs(Eds.), Hermes, 2008.
    [BibTeX]

Habilitation(s) à Diriger des Recherches

80. Bertrand MAZURE, « SAT et au-delà de SAT : Modèles et Algorithmes », Habilitation à Diriger des Recherches, Université d'Artois, january 2010.
    [BibTeX]

PhD thesis

81. Bertrand MAZURE, « De la satisfaisabilité à la compilation de bases de connaissances propositionnelles », PhD Thesis, CRIL, Lens, France, january 1999.
    [BibTeX]

Master thesis

82. Bertrand MAZURE, « Expérimentations, analyse et améliorations des méthodes de résolution du problème SAT », Master Thesis, Lens, France, july 1995.
    [BibTeX]

Technical report(s)

83. Gilles AUDEMARD, Jean-marie LAGNIEZ, Bertrand MAZURE, Lakhdar SAÏS, « SatHYS: Sat Hybrid Solver », Technical report, Proceedings of SAT Race 2010: Solver and Benchmarks Descriptions, Edinburgh, Scotland, UK, july 2010.
    [BibTeX]
84. Gilles AUDEMARD, Jean-marie LAGNIEZ, Bertrand MAZURE, Lakhdar SAÏS, « RCL: Reduce learnt clauses », Technical report, Proceedings of SAT Race 2010: Solver and Benchmarks Descriptions, Edinburgh, Scotland, UK, july 2010.
    [BibTeX]
85. Richard OSTROWSKI, Bertrand MAZURE, Lakhdar SAÏS, « LSAT Solver v2.0 », in Manuel Technique : description du solveur soumis à la compétition SAT'03, Technical report, 2003.
    [BibTeX]
86. Richard OSTROWSKI, Éric GRÉGOIRE, Bertrand MAZURE, Lakhdar SAÏS, « Recovering and exploiting structural knowledge from CNF formulas », Technical report, Lens, France, april 2002.
    [BibTeX]