Filtrer vos résultats
- 11
- 8
- 13
- 3
- 2
- 1
- 1
- 19
- 1
- 2
- 1
- 2
- 1
- 4
- 2
- 3
- 1
- 2
- 13
- 6
- 19
- 3
- 2
- 1
- 1
- 19
- 9
- 9
- 7
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
19 résultats
|
|
triés par
|
|
Automated metamorphic testing of variability analysis toolsJournal of Software Testing, Verification and Reliability, 2015, 25 (2), pp.138-163. ⟨10.1002/stvr.1566⟩
Article dans une revue
hal-02380763v1
|
||
|
Detecting Cardinality Constraints in CNF17th International Conference on Theory and Applications of Satisfiability Testing (SAT'14), 2014, Vienna, Austria. pp.285-301, ⟨10.1007/978-3-319-09284-3_22⟩
Communication dans un congrès
hal-02380768v1
|
||
Détection de contraintes de cardinalité dans les CNF10èmes Journées Francophones de Programmation par Contraintes (JFPC'14), 2014, Angers, France. pp.253-262
Communication dans un congrès
hal-02380772v1
|
|||
Complexité paramétrée de l'optimisation sous contrainte DNNF12èmes Journée Francophone de Programmation par Contraintes (JFPC'16), 2016, Montpellier, France
Communication dans un congrès
hal-02380769v1
|
|||
Improving Model Counting by Leveraging Definability25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, United States. pp.751-757
Communication dans un congrès
hal-02380766v1
|
|||
CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver27th International Conference on Tools with Artificial Intelligence (ICTAI'15), 2015, Vietri sul Mare, Italy. pp.928-935
Communication dans un congrès
hal-02380767v1
|
|||
|
A New Evolutive Generator for Graphs with Communities and its Application to Abstract ArgumentationFirst International Workshop on Argumentation and Applications (Arg&App 2023), Sep 2023, Rhodes (Grèce), Greece
Communication dans un congrès
hal-04213767v1
|
||
|
Proceedings of the 2022 XCSP3 CompetitionArxiv. 2022
Rapport
hal-03937145v1
|
||
|
Introducing the Fourth International Competition on Computational Models of ArgumentationThird International Workshop on Systems and Algorithms for Formal Argumentation, Sep 2020, Perugia, Italy
Communication dans un congrès
hal-03167490v1
|
||
Artificial Intelligence Conferences Closeness27th International Joint Conference on Artificial Intelligence (IJCAI'18), 2018, Stockholm, Sweden. pp.5158-5164
Communication dans un congrès
hal-02380764v1
|
|||
On the Complexity of Optimization Problems based on Compiled NNF Representations[Technical Report] CRIL. 2014
Rapport
hal-03296019v1
|
|||
|
Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de TchebycheffRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Communication dans un congrès
hal-00656571v1
|
||
|
Definability for model countingArtificial Intelligence, 2020, 281, pp.103229. ⟨10.1016/j.artint.2019.103229⟩
Article dans une revue
hal-03167468v1
|
||
|
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits2022
Pré-publication, Document de travail
hal-03778758v1
|
||
Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.185-194
Communication dans un congrès
hal-00869924v1
|
|||
|
Design and Results of ICCMA 2021Arxiv. 2021
Rapport
hal-03937142v1
|
||
Exploiter les définitions pour le comptage de modèles12èmes Journée Francophone de Programmation par Contraintes (JFPC'16), 2016, Montpellier, France
Communication dans un congrès
hal-02380771v1
|
|||
|
Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logiciellesHuitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Communication dans un congrès
hal-00829567v1
|
||
Fixed-Parameter Tractable Optimization under DNNF Constraints22nd European Conference on Artificial Intelligence (ECAI'16), 2016, The Hague, Netherlands. pp.1194-1202
Communication dans un congrès
hal-02380765v1
|