Matthieu Py

According to our database, Matthieu Py authored at least 8 papers between 2020 and 2023.

Collaborative distances:

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

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