| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Learning from conflicts in propositional satisfiability.  |
4OR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | François Hantry, Lakhdar Saïs, Mohand-Said Hacid |
On the Complexity of Computing Minimal Unsatisfiable LTL formulas |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Saïd Jabbour, Lakhdar Sais |
Symétries et QBF. |
Revue d'Intelligence Artificielle |
2012 |
DBLP BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais |
Deterministic Parallel DPLL. |
JSAT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Coquery, Saïd Jabbour, Lakhdar Sais |
A Constraint Programming Approach for Enumerating Motifs in a Sequence. |
ICDM Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
On Freezing and Reactivating Learnt Clauses. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Learning for Dynamic Subsumption. |
International Journal on Artificial Intelligence Tools |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lakhdar Sais |
Portfolio-based Parallel SAT solving. |
HPCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
Boosting Local Search Thanks to cdcl. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Baghdadi, Nacéra Benamrane, Lakhdar Sais |
Segmentation of 3D Brain Structures Using the Bayesian Generalized Fast Marching Method. |
Brain Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Diversification and Intensification in Parallel SAT Solving. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
ManySAT: a Parallel SAT Solver. |
JSAT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
Integrating Conflict Driven Clause Learning to Local Search |
LSCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Learning for Dynamic subsumption |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Reasoning from last conflict(s) in constraint programming. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Control-Based Clause Sharing in Parallel SAT Solving. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cédric Piette, Youssef Hamadi, Lakhdar Sais |
Efficient Combination of Decision Procedures for MUS Computation. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Grégoire, Bertrand Mazure, Lakhdar Sais |
Local Autarkies Searching for the Dynamic Partition of CNF Formulae. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique D'Almeida, Lakhdar Sais |
Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Learning for Dynamic Subsumption. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
Learning in Local Search. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Saïd Jabbour, Lakhdar Sais |
SAT graph-based representation: A new perspective. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais |
Redundancy in CSPs. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Piette, Youssef Hamadi, Lakhdar Sais |
Vivifying Propositional Clausal Formulae. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
A Generalized Framework for Conflict Analysis. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Recording and Minimizing Nogoods from Restarts. |
JSAT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Julien Vion |
Using SAT Encodings to Drive CSP Value Ordering Heuristics. |
JSAT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais |
Reducing hard SAT instances to polynomial ones. |
IRI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Nogood Recording from Restarts. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gilles Audemard, Saïd Jabbour, Lakhdar Sais |
Symmetry Breaking in Quantified Boolean Formulae. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais |
From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Lakhdar Sais |
Circuit Based Encoding of CNF Formula. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais |
Relaxation of Qualitative Constraint Networks. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais |
Eliminating Redundant Clauses in SAT Instances. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais |
Light Integration of Path Consistency for Solving CSPs. |
ICTAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Transposition Tables for Constraint Satisfaction. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | É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 |
DBLP BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Last Conflict Based Reasoning. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart |
Extracting MUCs from Constraint Networks. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais |
Computing Horn Strong Backdoor Sets Thanks to Local Search. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Lakhdar Sais |
A Symbolic Search Based Approach for Quantified Boolean Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
Satisfiability, Binary decision diagram, Quantified boolean formula |
| 1 | Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais |
Using Boolean Constraint Propagation for Sub-clauses Deduction. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais |
Boosting Systematic Search by Weighting Constraints. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
Automatic Extraction of Functional Dependencies. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
Automatic Extraction of Functional Dependencies. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
propositional reasoning and search, Boolean function, SAT |
| 1 | Gilles Audemard, Bertrand Mazure, Lakhdar Sais |
Dealing with Symmetries in Quantified Boolean Formulas. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gilles Audemard, Lakhdar Sais |
SAT Based BDD Solver for Quantified Boolean Formulas. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Assef Chmeiss, Lakhdar Sais |
Constraint Satisfaction Problems: Backtrack Search Revisited. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais |
Support Inference for Generic Filtering. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire |
Eliminating Redundancies in SAT Search Trees. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
Davis and Putnam´s algorithm, Boolean search and satisfiability, SAT |
| 1 | Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais |
Recovering and Exploiting Structural Knowledge from CNF Formulas. |
CP |
2002 |
DBLP BibTeX RDF |
propositional reasoning and search, SAT, Boolean logic |
| 1 | É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 |
DBLP DOI BibTeX RDF |
logic and AI, local search, SAT, minimal models |
| 1 | Laure Brisoux, Éric Grégoire, Lakhdar Sais |
Checking depth-limited consistency and inconsistency in knowledge-based systems. |
Int. J. Intell. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessière, Assef Chmeiss, Lakhdar Sais |
Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Assef Chmeiss, Lakhdar Sais |
About the use of local consistency in solving CSPs. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
constraint satisfaction problem solving, filtering techniques, singleton arc consistency, problem solving, search problems, pruning, search algorithms, constraint handling, local consistency, path consistency |
| 1 | Laure Brisoux, Éric Grégoire, Lakhdar Sais |
Improving Backtrack Search for SAT by Means of Redundancy. |
ISMIS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Mazure, Lakhdar Sais, Éric Grégoire |
Boosting Complete Techniques Thanks to Local Search Methods. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Mazure, Lakhdar Sais, Éric Grégoire |
System Description: CRIL Platform for SAT. |
CADE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Laure Brisoux, Éric Grégoire, Lakhdar Sais |
Validation of Knowledge-Based Systems by Means of Stochastic Search. |
DEXA Workshops |
1998 |
DBLP BibTeX RDF |
|
| 1 | Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais |
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Mazure, Lakhdar Sais, Éric Grégoire |
An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. |
Int. J. Cooperative Inf. Syst. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais |
Tractable Cover Compilations. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bertrand Mazure, Lakhdar Sais, Éric Grégoire |
Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. |
ECSQARU-FAPR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Mazure, Lakhdar Sais, Éric Grégoire |
Local Search for Computing Normal Circumstances Models. |
Fuzzy Days |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Mazure, Lakhdar Sais, Éric Grégoire |
Tabu Search for SAT. |
AAAI/IAAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Belaid Benhamou, Lakhdar Sais |
Tractability Through Symmetries in Propositional Calculus. |
J. Autom. Reasoning |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Belaid Benhamou, Lakhdar Sais, Pierre Siegel |
Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
symmetry and cardinality, theorem proving, propositional calculus |
| 1 | Belaid Benhamou, Lakhdar Sais |
Theoretical Study of Symmetries in Propositional Calculus and Applications. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")