Matthieu Py

According to our database, Matthieu Py authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Socially Pertinent Robots in Gerontological Healthcare.

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

CoRR, 2024

2023

Proofs and Certificates for Max-SAT (Extended Abstract).

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Proofs and Certificates for Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

J. Artif. Intell. Res., 2022

From Crossing-Free Resolution to Max-SAT Resolution.

Mohamed Sami Cherif, Djamal Habet, Matthieu Py

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021

Inférence et certificats pour le problème de satisfiabilité maximum. (Inference and certificates for the maximum satisfiability problem).

Matthieu Py

PhD thesis, 2021

A Proof Builder for Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Inferring Clauses and Formulas in Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Computing Max-SAT Refutations using SAT Oracles.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

Towards Bridging the Gap Between SAT and Max-SAT Refutations.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020