SAT-Based Techniques for Lexicographically Smallest Finite Models.

Mikolás Janota Choiwah Chow João Araújo Michael Codish Petr Vojtechovský

Published in: AAAI (2024)

Keyphrases

computational models
statistical models
reinforcement learning
prior knowledge
neural network
search engine
social networks
decision trees
multi agent systems
lower bound
model selection
planning problems
mathematical models
answer set programming
accurate models