Publications: Pablo Manrique Merchan
2026
| [1] | Formally Verified Graph Generation with SAT Modulo Symmetries and Lean Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I (Armin Biere, Carsten Lutz, Sara Negri, eds.), volume 16688 of Lecture Notes in Computer Science, pages 117–135, 2026, Springer. |
AC Admin
Website maintainer