Search - Aix-Marseille Université Access content directly

Filter your results

14 Results
authFullName_s : Lionel Paris
Image document

Voisinage consistant pour le problème de satisfaisabilité

Lionel Paris , Djamal Habet , Belaïd Benhamou
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Conference papers inria-00151061v1

A New Formula Simplification by Reasoning on a Graphical Representation of SAT Instances

Philippe Jégou , Lionel Paris
[Rapport de recherche] LSIS.RR.2009.001, LSIS. 2009
Reports hal-01488803v1

Detecting Boolean Functions For Proving Unsatisfiability

Richard Ostrowski , Lionel Paris
[Rapport de recherche] LSIS.RR.2009.003, LSIS. 2009
Reports hal-01488805v1
Image document

Détection de fonctions booléennes pour la preuve d'inconsistance

Richard Ostrowski , Lionel Paris
Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.237-245
Conference papers hal-00387853v1

Une autre règle de séparation pour des codages de CSP vers SAT

Richard Ostrowski , Lionel Paris , Adrien Varet
Actes des 15èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2019, Albi, France
Conference papers hal-02299020v1
Image document

Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées

Djamal Habet , Lionel Paris , Cyril Terrioux
Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.85-95
Conference papers hal-00387823v1
Image document

Approximation d'ensembles horn strong backdoor par recherche locale

Lionel Paris , Richard Ostrowski , Lakhdar Saïs , Pierre Siegel
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Conference papers inria-00085807v1
Image document

Des chaînes d'équivalences dans un codage CNF du problème XSAT

Richard Ostrowski , Lionel Paris
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.297-306
Conference papers inria-00292677v1

From XSAT To SAT By Exhibiting Boolean Functions

Richard Ostrowski , Lionel Paris
International Journal on Artificial Intelligence Tools (IJAIT), 2010, 18 (5), pp.783-799
Journal articles hal-01479558v1

Computing Horn Strong Backdoor Sets Thanks to Local Search

Lionel Paris , Richard Ostrowski , Lakhdar Saïs , Pierre Siegel
8th International Conference on Tools with Artificial Intelligence (ICTAI'06), 2006, Washington D.C., United States. pp.13--15
Conference papers hal-03301137v1
Image document

Des ensembles Horn strong backdoor aux ensembles ordonnés strong backdoor

Lionel Paris , Richard Ostrowski , Pierre Siegel
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Conference papers inria-00151052v1

Dealing with Satisfiability and n-ary CSPs in a logical framework

Belaïd Benhamou , Lionel Paris , Pierre Siegel
Journal of Automated Reasoning, 2012, 48 (3), pp.391-417
Journal articles hal-01479548v1

Another Way to Browse the Search Space For Some Transformations from CSP to SAT

Richard Ostrowski , Lionel Paris , Adrien Varet
International Symposium on Artificial Intelligence and Mathematics, Jan 2020, Fort Lauderdale, United States
Conference papers hal-02456248v1

A Tree Decomposition Based Approach to Solve Structured Satisfiability Instances

Djamal Habet , Lionel Paris , Cyril Terrioux
[Rapport de recherche] LSIS.RR.2009.002, LSIS. 2009
Reports hal-01488800v1