MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Lakhdar Sais" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

Dealing with symmetries in quantified boolean formulas
by Gilles Audemard, Lakhdar Saïs — 2004 — In proceedings of SAT
…, and Lakhdar Saïs CRIL CNRS – Université d’Artois rue Jean Souvraz SP-18 F-62307 Lens Cedex France {audemard…
Cited by 1 (1 self) – Add To MetaCart

A symbolic search based approach for quantified boolean formulas
by Gilles Audemard, Lakhdar Saïs — 2005 — In Eight International Conference on Theory and Applications of Satisfiability Testing (SAT 2005), volume 3569 of Lecture Notes in Computer Science
…A Symbolic Search Based Approach for Quantified Boolean Formulas Gilles Audemard and Lakhdar Saïs…
Cited by 4 (0 self) – Add To MetaCart

Some ideas on random generation of k-SAT instances
by Richard Genisson, Lakhdar Sais — 1994
…Some ideas on random generation of k-SAT instances Richard G'enisson and Lakhdar Sais Laboratoire…
Cited by 2 (0 self) – Add To MetaCart

Logically-Complete Local Search for Propositional Nonmonotonic Knowledge Bases
by Éric Grégoire, Bertrand Mazure, Lakhdar Sais
…@(email omitted); Lakhdar Sais CRIL -- Universit'e d'Artois rue de l'Universit'e SP 16 F-62307 Lens Cedex, France sais…
Add To MetaCart

Nogood recording from restarts
by Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal — 2007 — In Proceedings of IJCAI’07
…Nogood Recording from Restarts Christophe Lecoutre and Lakhdar Sais and Sébastien Tabary…
Cited by 3 (2 self) – Add To MetaCart

Last conflict based reasoning
by Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal — 2006 — In Proceedings of ECAI-2006
…Last Conflict based Reasoning Christophe Lecoutre and Lakhdar Sais and Sébastien Tabary…
Cited by 3 (1 self) – Add To MetaCart

Extracting MUCs from constraint networks
by Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart — 2006 — In Proceedings of ECAI’06
…Extracting MUCs from Constraint Networks Fred Hemery and Christophe Lecoutre and Lakhdar Sais…
Cited by 3 (1 self) – Add To MetaCart

Neighborhood-based variable ordering heuristics for the constraint satisfaction problem
by Christian Bessière, Assef Chmeiss, Lakhdar Saïs — 2001 — In Proceedings of Seventh International Conference on Principles and Practice of Constraint Programming, 2001, Paphos, Cyprus
… Bessière 1 , Assef Chmeiss 2 , and Lakhdar Saïs 2 1 Member of the Coconut group LIRMM-CNRS (UMR 5506), 161…
Cited by 10 (0 self) – Add To MetaCart

Improving Backtrack Search for SAT by Means of Redundancy
by Laure Brisoux, Éric Grégoire, Lakhdar Saïs — 1999
…'egoire, and Lakhdar Sais CRIL -- Universit'e d'Artois rue de l'Universit'e SP16 F-62037 Lens Cedex, France. fbrisoux…
Cited by 5 (0 self) – Add To MetaCart

Inductive Reasoning is Sometimes Deductive
by Éric Grégoire, Eric Gr, Lakhdar Saïs — 1996
…Inductive reasoning is sometimes deductive position paper ' Eric GR ' EGOIRE and Lakhdar SA…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB