dblp.uni-trier.dewww.uni-trier.de

Lakhdar Sais Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
52EECédric Piette, Youssef Hamadi, Lakhdar Sais: Efficient Combination of Decision Procedures for MUS Computation. FroCos 2009: 335-349
51EEYoussef Hamadi, Saïd Jabbour, Lakhdar Sais: Control-Based Clause Sharing in Parallel SAT Solving. IJCAI 2009: 499-504
50EEYoussef Hamadi, Saïd Jabbour, Lakhdar Sais: Learning for Dynamic subsumption CoRR abs/0904.0029: (2009)
49EEGilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais: Integrating Conflict Driven Clause Learning to Local Search CoRR abs/0910.1247: (2009)
2008
48EECédric Piette, Youssef Hamadi, Lakhdar Sais: Vivifying Propositional Clausal Formulae. ECAI 2008: 525-529
47EEAssef Chmeiss, Vincent Krawczyk, Lakhdar Sais: Redundancy in CSPs. ECAI 2008: 907-908
46EEGilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: A Generalized Framework for Conflict Analysis. SAT 2008: 21-27
45EEGilles Audemard, Saïd Jabbour, Lakhdar Sais: SAT graph-based representation: A new perspective. J. Algorithms 63(1-3): 17-33 (2008)
2007
44 Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Transposition Tables for Constraint Satisfaction. AAAI 2007: 243-248
43EEChristophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. CP 2007: 453-467
42EEOlivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Eliminating Redundant Clauses in SAT Instances. CPAIOR 2007: 71-83
41EEAssef Chmeiss, Vincent Krawczyk, Lakhdar Sais: Light Integration of Path Consistency for Solving CSPs. ICTAI (1) 2007: 263-266
40EEChristophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Nogood Recording from Restarts. IJCAI 2007: 131-136
39EEGilles Audemard, Saïd Jabbour, Lakhdar Sais: Symmetry Breaking in Quantified Boolean Formulae. IJCAI 2007: 2262-2267
38EEOlivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Reducing hard SAT instances to polynomial ones. IRI 2007: 18-23
37EELionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais: From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. MICAI 2007: 105-117
36EEDominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais: Relaxation of Qualitative Constraint Networks. SARA 2007: 93-108
35EEGilles Audemard, Lakhdar Sais: Circuit Based Encoding of CNF Formula. SAT 2007: 16-21
34EEChristophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Recording and Minimizing Nogoods from Restarts. JSAT 1(3-4): 147-167 (2007)
33EEChristophe Lecoutre, Lakhdar Sais, Julien Vion: Using SAT Encodings to Drive CSP Value Ordering Heuristics. JSAT 1(3-4): 169-186 (2007)
2006
32 Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart: Extracting MUCs from Constraint Networks. ECAI 2006: 113-117
31 Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Last Conflict Based Reasoning. ECAI 2006: 133-137
30EELionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais: Computing Horn Strong Backdoor Sets Thanks to Local Search. ICTAI 2006: 139-143
29 Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Sais: A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. IRI 2006: 325-329
2005
28EESylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais: Using Boolean Constraint Propagation for Sub-clauses Deduction. CP 2005: 757-761
27EEGilles Audemard, Lakhdar Sais: A Symbolic Search Based Approach for Quantified Boolean Formulas. SAT 2005: 16-30
2004
26EEFrédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais: Support Inference for Generic Filtering. CP 2004: 721-725
25 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais: Boosting Systematic Search by Weighting Constraints. ECAI 2004: 146-150
24EEAssef Chmeiss, Lakhdar Sais: Constraint Satisfaction Problems: Backtrack Search Revisited. ICTAI 2004: 252-257
23EEGilles Audemard, Lakhdar Sais: SAT Based BDD Solver for Quantified Boolean Formulas. ICTAI 2004: 82-89
22EEÉric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais: Automatic Extraction of Functional Dependencies. SAT 2004
21EEGilles Audemard, Bertrand Mazure, Lakhdar Sais: Dealing with Symmetries in Quantified Boolean Formulas. SAT 2004
20EEÉric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais: Automatic Extraction of Functional Dependencies. SAT (Selected Papers 2004: 122-132
2003
19EERichard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Eliminating Redundancies in SAT Search Trees. ICTAI 2003: 100-104
2002
18EEÉric Grégoire, Bertrand Mazure, Lakhdar Sais: Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. AIMSA 2002: 51-60
17EERichard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Recovering and Exploiting Structural Knowledge from CNF Formulas. CP 2002: 185-199
2001
16EEChristian Bessière, Assef Chmeiss, Lakhdar Sais: Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem. CP 2001: 565-569
15 Laure Brisoux, Éric Grégoire, Lakhdar Sais: Checking depth-limited consistency and inconsistency in knowledge-based systems. Int. J. Intell. Syst. 16(3): 319-331 (2001)
2000
14EEAssef Chmeiss, Lakhdar Sais: About the use of local consistency in solving CSPs. ICTAI 2000: 104-107
1999
13EELaure Brisoux, Éric Grégoire, Lakhdar Sais: Improving Backtrack Search for SAT by Means of Redundancy. ISMIS 1999: 301-309
1998
12EEBrigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais: Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. AIMSA 1998: 115-128
11EEBertrand Mazure, Lakhdar Sais, Éric Grégoire: System Description: CRIL Platform for SAT. CADE 1998: 124-128
10 Laure Brisoux, Éric Grégoire, Lakhdar Sais: Validation of Knowledge-Based Systems by Means of Stochastic Search. DEXA Workshop 1998: 41-46
9 Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Boosting Complete Techniques Thanks to Local Search Methods. Ann. Math. Artif. Intell. 22(3-4): 319-331 (1998)
1997
8 Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Tabu Search for SAT. AAAI/IAAI 1997: 281-285
7 Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. ECSQARU-FAPR 1997: 122-130
6 Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Local Search for Computing Normal Circumstances Models. Fuzzy Days 1997: 565-566
5 Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais: Tractable Cover Compilations. IJCAI (1) 1997: 122-127
4 Bertrand Mazure, Lakhdar Sais, Éric Grégoire: An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. Int. J. Cooperative Inf. Syst. 6(1): 27-36 (1997)
1994
3EEBelaid Benhamou, Lakhdar Sais, Pierre Siegel: Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. STACS 1994: 71-82
2 Belaid Benhamou, Lakhdar Sais: Tractability Through Symmetries in Propositional Calculus. J. Autom. Reasoning 12(1): 89-102 (1994)
1992
1EEBelaid Benhamou, Lakhdar Sais: Theoretical Study of Symmetries in Propositional Calculus and Applications. CADE 1992: 281-294

Coauthor Index

1Gilles Audemard [21] [23] [27] [35] [39] [45] [46] [49]
2Belaid Benhamou [1] [2] [3]
3Brigitte Bessant [12]
4Christian Bessiere (Christian Bessière) [16]
5Lucas Bordeaux [46]
6Yacine Boufkhad [5]
7Frédéric Boussemart [25] [26] [32]
8Laure Brisoux [10] [13] [15]
9Assef Chmeiss [14] [16] [24] [41] [47]
10Jean-François Condotta [36]
11Dominique D'Almeida [36]
12Sylvain Darras [28]
13Gilles Dequen [28]
14Laure Devendeville [28]
15Olivier Fourdrinoy [38] [42]
16Éric Grégoire [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [17] [18] [19] [20] [22] [29] [38] [42]
17Youssef Hamadi [46] [48] [50] [51] [52]
18Fred Hemery [25] [26] [32]
19Saïd Jabbour [39] [45] [46] [50] [51]
20Vincent Krawczyk [41] [47]
21Jean-Marie Lagniez [49]
22Christophe Lecoutre [25] [26] [31] [32] [33] [34] [36] [40] [43] [44]
23Pierre Marquis [5] [12]
24Bertrand Mazure [4] [5] [6] [7] [8] [9] [11] [17] [18] [19] [20] [21] [22] [28] [29] [38] [42] [49]
25Richard Ostrowski [17] [19] [20] [22] [28] [30] [37]
26Lionel Paris [30] [37]
27Cédric Piette [29] [48] [52]
28Pierre Siegel [3] [30] [37]
29Sébastien Tabary [31] [34] [40] [43] [44]
30Vincent Vidal [31] [34] [40] [43] [44]
31Julien Vion [33]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)