Choiwah Chow

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Prior Knowledge

Filtering Algorithm

Mathematical Models

Statistical Model

Top Venues

Constraints An Int. J.

Publications

Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský
SAT-Based Techniques for Lexicographically Smallest Finite Models. AAAI (2024)
João Araújo, Choiwah Chow, Mikolás Janota
Symmetries for Cube-And-Conquer in Finite Model Finding. CP (2023)
João Araújo, Choiwah Chow, Mikolás Janota
Boosting isomorphic model filtering with invariants. Constraints An Int. J. 27 (3) (2022)
João Araújo, Choiwah Chow, Mikolás Janota
Boosting Isomorphic Model Filtering with Invariants. CoRR (2022)
João Araújo, Choiwah Chow, Mikolás Janota
Filtering Isomorphic Models by Invariants (Short Paper). CP (2021)