Pablo Manrique Merchan | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/pablo-manrique-merchan/Pablo Manrique MerchanHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/team/pablo-manrique-merchan/avatar_hu6156069544425143939.jpgPablo Manrique Merchanhttps://ac.tuwien.ac.at/team/pablo-manrique-merchan/Formally Verified Graph Generation with SAT Modulo Symmetries and Leanhttps://ac.tuwien.ac.at/publication/formally-verified-graph-generation-with-sat-modulo-symmetries-and-lean/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/formally-verified-graph-generation-with-sat-modulo-symmetries-and-lean/