المؤلفون: Alameda-Pineda, Xavier, Addlesee, Angus, García, Daniel Hernández, Reinke, Chris, Arias, Soraya, Arrigoni, Federica, Auternaud, Alex, Blavette, Lauriane, Beyan, Cigdem, Camara, Luis Gomez, Cohen, Ohad, Conti, Alessandro, Dacunha, Sébastien, Dondrup, Christian, Ellinson, Yoav, Ferro, Francesco, Gannot, Sharon, Gras, Florian, Gunson, Nancie, Horaud, Radu, D'Incà, Moreno, Kimouche, Imad, Lemaignan, Séverin, Lemon, Oliver, Liotard, Cyril, Marchionni, Luca, Moradi, Mordehay, Pajdla, Tomas, Pino, Maribel, Polic, Michal, Py, Matthieu, Rado, Ariel, Ren, Bin, Ricci, Elisa, Rigaud, Anne-Sophie, Rota, Paolo, Romeo, Marta, Sebe, Nicu, Sieińska, Weronika, Tandeitnik, Pinchas, Tonini, Francesco, Turro, Nicolas, Wintz, Timothée, Yu, Yanchao

مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2404.07560

المؤلفون: Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal

المصدر: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2021 IEEE 33rd International Conference on. :632-639 Nov, 2021

Relation: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)

المؤلفون: Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal

المصدر: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2021 IEEE 33rd International Conference on. :404-411 Nov, 2021

Relation: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)

المؤلفون: Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal

المصدر: 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2020 IEEE 32nd International Conference on. :137-144 Nov, 2020

Relation: 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI)

المؤلفون: Py, Matthieu^Aff10, Cherif, Mohamed Sami^Aff10, Habet, Djamal^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Li, Chu-Min, editor^Aff8, Manyà, Felip, editor^Aff9

المصدر: Theory and Applications of Satisfiability Testing – SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. 12831:488-498

المؤلفون: Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal

المساهمون: Py, Matthieu, COntraintes, ALgorithmes et Applications (COALA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: JFPC 2022
JFPC 2022, Jun 2022, Saint-Etienne, France

مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO] Computer Science [cs]

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f79c3079010eb3db61a520b28d0174ee
https://hal-amu.archives-ouvertes.fr/hal-03737733

المؤلفون: Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal

المساهمون: Py, Matthieu, COntraintes, ALgorithmes et Applications (COALA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: JFPC 2022
JFPC 2022, Jun 2022, Saint-Etienne, France

مصطلحات موضوعية: Résolution, [INFO]Computer Science [cs], [INFO] Computer Science [cs], Max-SAT, Max-Réfutation

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2bbfaf66a0708fd8c55aaca3366df831
https://hal-amu.archives-ouvertes.fr/hal-03737731

المؤلفون: Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal

المساهمون: Py, Matthieu, COntraintes, ALgorithmes et Applications (COALA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: JFPC 2022
JFPC 2022, Jun 2022, Saint-Etienne, France

مصطلحات موضوعية: Problème SAT, Optimisation Combinatoire, Problème Max-SAT, [INFO]Computer Science [cs], [INFO] Computer Science [cs], Certificats d'Optimalité

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::56b43a08766f6d586a9bf90ad438265b
https://hal-amu.archives-ouvertes.fr/hal-03737729

المؤلفون: Cherif, Mohamed, Habet, Djamal, Py, Matthieu

المساهمون: COntraintes, ALgorithmes et Applications (COALA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Journées Francophones de Programmation par Contraintes (JFPC)
Journées Francophones de Programmation par Contraintes (JFPC), Jun 2022, Saint-Étienne, France

مصطلحات موضوعية: Max-résolution, Résolution sans croisement, Preuves, Max-SAT, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3430::e67509435369de2ed9775feb1421a51d
https://hal-amu.archives-ouvertes.fr/hal-03714732/document

المؤلفون: Cherif, Mohamed Sami, Habet, Djamal, Py, Matthieu

المساهمون: COntraintes, ALgorithmes et Applications (COALA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022)
28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Jul 2022, Haifa, Israel. ⟨10.4230/LIPIcs.CP.2022.12⟩

مصطلحات موضوعية: Proof, Max-SAT Resolution, Theory of computation → Proof theory, 2012 ACM Subject Classification Theory of computation → Proof theory phrases Satisfiability, Satisfiability, Proofs, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eef9d3054b261426c5e2392017eb10b4