Matthieu Py

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Socially Pertinent Robots in Gerontological Healthcare.
CoRR, 2024

2023
Proofs and Certificates for Max-SAT (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022
Proofs and Certificates for Max-SAT.
J. Artif. Intell. Res., 2022

From Crossing-Free Resolution to Max-SAT Resolution.
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).
PhD thesis, 2021

A Proof Builder for Max-SAT.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Inferring Clauses and Formulas in Max-SAT.
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Computing Max-SAT Refutations using SAT Oracles.
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020
Towards Bridging the Gap Between SAT and Max-SAT Refutations.
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020


  Loading...