Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Abramé, André"'
Publikováno v:
In Artificial Intelligence December 2020 289
Autor:
Abramé, André, Habet, Djamal
Publikováno v:
Actes des Treizièmes Journées Francophones de Programmation par Contraintes (JFPC 2017))
Actes des Treizièmes Journées Francophones de Programmation par Contraintes (JFPC 2017)), Jun 2017, Montreuil-sur-Mer, France
Actes des Treizièmes Journées Francophones de Programmation par Contraintes (JFPC 2017)), Jun 2017, Montreuil-sur-Mer, France
International audience; Nous introduisons une nouvelle méthode d'apprentissage de clauses dites nobetters pour les solveurs séparation etévaluationetévaluation pour Max-SAT. Elle s'inspire de l'apprentissage de clauses nogoods utilisé par les so
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2f62666875baf281e52cf797655b9373
https://hal-amu.archives-ouvertes.fr/hal-01786548/document
https://hal-amu.archives-ouvertes.fr/hal-01786548/document
Autor:
Abramé, André
Cette thèse porte sur la résolution du problème d'optimisation Maximum Satisfiability (Max-SAT). Nous y étudions en particulier les mécanismes liés à la détection et à la transformation des sous-ensembles inconsistants par la règle de la ma
Externí odkaz:
http://www.theses.fr/2015AIXM4330/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Abramé, André, Habet, Djamal
Publikováno v:
Principles & Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings; 2014, p92-107, 16p
Autor:
Abramé, André, Habet, Djamal
Publikováno v:
Journal on Satisfiability, Boolean Modeling and Computation; June 2015, Vol. 9 Issue: 1 p89-128, 40p
Publikováno v:
2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI); 2015, p1145-1150, 6p
Publikováno v:
2014 IEEE 26th International Conference on Tools with Artificial Intelligence; 2014, p1026-1031, 6p
Autor:
Nadia Creignou, Daniel Le Berre
This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3
Autor:
Barry O'Sullivan
This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014.The 65 revised papers presented together with 4 invi