ML Anthology

Araújo, João

1 publications

AAAI 2024 SAT-Based Techniques for Lexicographically Smallest Finite Models Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský