Anthony Blomme

According to our database, Anthony Blomme authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Compressing UNSAT CDCL Trees with Caching.

Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Compressing UNSAT Search Trees with Caching.

Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023