Pablo Manrique Merchan
Projektass.(FWF)

Pablo Manrique Merchan

Master Degree
Email: pmanriqu@ac.tuwien.ac.at
TU Wien Directory: TISS Profile

Biography

Pablo Manrique Merchan is part of the Scientific Staff at TU Wien.

Recent Publications

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