Recherche - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

19 résultats

	Pour les 19 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Improving Model Counting by Leveraging Definability Jean-Marie Lagniez , Emmanuel Lonca , Pierre Marquis 25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, United States. pp.751-757 Communication dans un congrès hal-02380766v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly 27th International Conference on Tools with Artificial Intelligence (ICTAI'15), 2015, Vietri sul Mare, Italy. pp.928-935 Communication dans un congrès hal-02380767v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Détection de contraintes de cardinalité dans les CNF Armin Biere , Daniel Le Berre , Emmanuel Lonca , Norbert Manthey 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14), 2014, Angers, France. pp.253-262 Communication dans un congrès hal-02380772v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Complexité paramétrée de l'optimisation sous contrainte DNNF Frédéric Koriche , Daniel Le Berre , Emmanuel Lonca , Pierre Marquis 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16), 2016, Montpellier, France Communication dans un congrès hal-02380769v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly , Julien Rossit First International Workshop on Argumentation and Applications (Arg&App 2023), Sep 2023, Rhodes (Grèce), Greece Communication dans un congrès hal-04213767v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Automated metamorphic testing of variability analysis tools Sergio Segura , Amador Durán , Ana B. Sánchez , Daniel Le Berre , Emmanuel Lonca , et al. Journal of Software Testing, Verification and Reliability, 2015, 25 (2), pp.138-163. ⟨10.1002/stvr.1566⟩ Article dans une revue hal-02380763v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Detecting Cardinality Constraints in CNF Armin Biere , Daniel Le Berre , Emmanuel Lonca , Norbert Manthey 17th 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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Proceedings of the 2022 XCSP3 Competition Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca Arxiv. 2022 Rapport hal-03937145v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Introducing the Fourth International Competition on Computational Models of Argumentation Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly , Julien Rossit Third International Workshop on Systems and Algorithms for Formal Argumentation, Sep 2020, Perugia, Italy Communication dans un congrès hal-03167490v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Artificial Intelligence Conferences Closeness Sébastien Konieczny , Emmanuel Lonca 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 2018, Stockholm, Sweden. pp.5158-5164 Communication dans un congrès hal-02380764v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On the Complexity of Optimization Problems based on Compiled NNF Representations Daniel Le Berre , Emmanuel Lonca , Pierre Marquis [Technical Report] CRIL. 2014 Rapport hal-03296019v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de Tchebycheff Daniel Le Berre , Emmanuel Lonca , Pierre Marquis , Anne Parrain RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3 Communication dans un congrès hal-00656571v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Definability for model counting Jean-Marie Lagniez , Emmanuel Lonca , Pierre Marquis Artificial Intelligence, 2020, 281, pp.103229. ⟨10.1016/j.artint.2019.103229⟩ Article dans une revue hal-03167468v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits Pierre Bourhis , Laurence Duchien , Jérémie Dusart , Emmanuel Lonca , Pierre Marquis , et al. 2022 Pré-publication, Document de travail hal-03778758v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne Daniel Le Berre , Emmanuel Lonca 9iè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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Exploiter les définitions pour le comptage de modèles Jean-Marie Lagniez , Emmanuel Lonca , Pierre Marquis 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16), 2016, Montpellier, France Communication dans un congrès hal-02380771v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles Daniel Le Berre , Emmanuel Lonca , Pierre Marquis , Anne Parrain Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France Communication dans un congrès hal-00829567v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Fixed-Parameter Tractable Optimization under DNNF Constraints Frédéric Koriche , Daniel Le Berre , Emmanuel Lonca , Pierre Marquis 22nd European Conference on Artificial Intelligence (ECAI'16), 2016, The Hague, Netherlands. pp.1194-1202 Communication dans un congrès hal-02380765v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Design and Results of ICCMA 2021 Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly , Julien Rossit Arxiv. 2021 Rapport hal-03937142v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More