SAT-Based Techniques for Lexicographically Smallest Finite Models.

Mikols Janota, Choiwah Chow, Joo Arajo, Michael Codish, Petr Vojtechovsk

Browse the full AAAI paper archive.