Publications: Pablo Manrique Merchan

⬅️ Zurück zum Profil

2026

Formally Verified Graph Generation with SAT modulo Symmetries and Lean
Markus Kirchweger, Pablo Manrique, Stefan Szeider
Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Part of FLoC 2026, July 26--29, 2026, 2026, Springer.
Note: To appear
bib
AC Admin
AC Admin

Website maintainer