Filter your results
- 8
- 6
- 9
- 3
- 2
- 3
- 14
- 3
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 2
- 10
- 4
- 12
- 2
- 2
- 11
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Voisinage consistant pour le problème de satisfaisabilité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[Rapport de recherche] LSIS.RR.2009.001, LSIS. 2009
Reports
hal-01488803v1
|
|||
Detecting Boolean Functions For Proving Unsatisfiability[Rapport de recherche] LSIS.RR.2009.003, LSIS. 2009
Reports
hal-01488805v1
|
|||
|
Détection de fonctions booléennes pour la preuve d'inconsistanceCinquiè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 SATActes des 15èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2019, Albi, France
Conference papers
hal-02299020v1
|
|||
|
Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structuréesCinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.85-95
Conference papers
hal-00387823v1
|
||
|
Approximation d'ensembles horn strong backdoor par recherche localeDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Conference papers
inria-00085807v1
|
||
|
Des chaînes d'équivalences dans un codage CNF du problème XSATJFPC 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 FunctionsInternational Journal on Artificial Intelligence Tools (IJAIT), 2010, 18 (5), pp.783-799
Journal articles
hal-01479558v1
|
|||
Computing Horn Strong Backdoor Sets Thanks to Local Search8th International Conference on Tools with Artificial Intelligence (ICTAI'06), 2006, Washington D.C., United States. pp.13--15
Conference papers
hal-03301137v1
|
|||
|
Des ensembles Horn strong backdoor aux ensembles ordonnés strong backdoorTroisiè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 frameworkJournal 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 SATInternational 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[Rapport de recherche] LSIS.RR.2009.002, LSIS. 2009
Reports
hal-01488800v1
|