Recherche - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

9 résultats

	Pour les 9 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

		Hybridation de techniques d’apprentissage de clauses en programmation par contraintes Gael Glorian Informatique [cs]. Université d'Artois, 2019. Français. ⟨NNT : ⟩ Thèse tel-02971371v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Generalized Confidence Constraints Guillaume Perez , Steve Malalel , Gael Glorian , Victor Jung , Alexandre Papadopoulos , et al. The Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI-23), Feb 2023, Washignton DC, United States. pp.4078-4086, ⟨10.1609/aaai.v37i4.25523⟩ Communication dans un congrès hal-04241624v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Combinaison de nogoods extraits au redémarrage Gael Glorian , Frédéric Boussemart , Jean-Marie Lagniez , Christophe Lecoutre , Bertrand Mazure 13è Journées Francophone de Programmation par Contraintes (JFPC'17), 2017, Montreuil-sur-mer, France. pp.55--64 Communication dans un congrès hal-03300251v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		NACRE - A Nogood And Clause Reasoning Engine Gael Glorian , Jean-Marie Lagniez , Christophe Lecoutre 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'23), 2020, Alicante, Spain. pp.249-259 Communication dans un congrès hal-03300774v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis 24th International Conference on Principles and Practice of Constraint Programming (CP'18), Aug 2018, Lille, France. pp.160-178, ⟨10.1007/978-3-319-98334-9_11⟩ Communication dans un congrès hal-02067915v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France Communication dans un congrès hal-02271390v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		An Incremental SAT-Based Approach for Graph Colouring Problem Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Nicolas Szczepanski The 25th International Conference on Principles and Practice of Constraint Programming (CP'19), Sep 2019, Stamford, CT, United States Communication dans un congrès hal-02271397v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		pFactory: A generic library for designing parallel solvers Gilles Audemard , Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Nicolas Szczepanski International Conference on Applied Computing (AC), 2019, Cagliari, Italy Communication dans un congrès hal-03299476v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		An Incremental SAT-Based Approach to Reason Efficiently On Qualitative Constraint Network Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis 24th International Conference on Principles and Practice of Constraint Programming (CP'18), 2018, Lille, France. pp.160--178 Communication dans un congrès hal-03300778v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More