MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Daniel Le Berre" – sorted by Relevance.

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

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

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

ATOM

MiniLearningHeapExpSimp / SAT4J
by Daniel Le Berre
…MiniLearningHeapExpSimp / SAT4J Daniel Le Berre CRIL-CNRS FRE2499, Université d’Artois, 62300 Lens…
Add To MetaCart

ADS: a unified computational framework for some consistency and abductive based propositional reasoning
by Daniel Le Berre
… reasoning Daniel Le Berre ∗ Abstract This paper introduces a tool, ADS (“ArounD SAT”), based on the unified…
Add To MetaCart

Exploiting the Real Power of Unit Propagation Lookahead
by Daniel Le Berre — 2001
…, but discussions about that matter are out of the scope of this paper. Daniel Le Berre Business & Technology…
Cited by 19 (1 self) – Add To MetaCart

Preface to the special volume on the sat 2005 competitions and evaluations
by Daniel Le Berre, Laurent Simon — 2006 — Journal of Satisfiability, Boolean Modeling and Computation (JSAT
…Preface to the Special Volume on the SAT 2005 Competitions and Evaluations Daniel Le Berre leberre…
Cited by 2 (0 self) – Add To MetaCart

The essentials of the SAT 2003 competition
by Daniel Le Berre, Laurent Simon — 2003 — In Sixth International Conference on Theory and Applications of Satisfiability Testing, volume 2919 of LNCS
… The essentials of the SAT 2003 competition Daniel Le Berre1 and Laurent Simon2 1 CRIL…
Cited by 13 (0 self) – Add To MetaCart

Decision-Theoretic Diagnosis and Repair: Representational and Computational Issues
by Daniel Le Berre, Régis Sabbadin — 1997 — In Proc. of the 8th International Workshop on Principles of Diagnosis (DX'97
…Decision-theoretic diagnosis and repair: representational and computational issues Daniel Le Berre…
Cited by 3 (3 self) – Add To MetaCart

Propositional fragments for knowledge compilation and quantified Boolean formulae
by Sylvie Coste-marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis — 2005 — In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI
…-Marquis and Daniel Le Berre and Florian Letombe and Pierre Marquis CRIL/CNRS, Université d’Artois, rue de l…
Cited by 3 (0 self) – Add To MetaCart

A branching heuristics for quantified renamable Horn formulas
by Sylvie Coste-marquis, Daniel Le Berre, Florian Letombe — 2005 — In SAT’05, volume 3569 of LNCS
…A Branching Heuristics for Quantified Renamable Horn Formulas Sylvie Coste-Marquis, Daniel Le…
Cited by 1 (1 self) – Add To MetaCart

Using the Davis and Putnam procedure for an efficient computation of preferred models
by Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre — 1996 — In ECAI'96, 350--354
… Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre 1 Abstract. Some famous problems (ATMS…
Cited by 3 (2 self) – Add To MetaCart

The second qbf solvers comparative evaluation
by Daniel Le Berre, Massimo Narizzano, Laurent Simon, O Tacchella — 2004 — In Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT2004
…The second QBF solvers comparative evaluation ⋆ Daniel Le Berre 1 , Massimo Narizzano 3 , Laurent…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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