Matias Barandiaran Rivera

According to our database, Matias Barandiaran Rivera authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Artifact for the paper Unsatisfiability Proofs for Horn Solving.

Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina

Dataset, January, 2025

Unsatisfiability Proofs for Horn Solving.

Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025