Publications: Pablo Manrique Merchan
2026
| [1] | Formally Verified Graph Generation with SAT modulo Symmetries and Lean Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Part of FLoC 2026, July 26–29, 2026, 2026, Springer. Note: To appear |
AC Admin
Website maintainer