Choiwah Chow

According to our database, Choiwah Chow authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

SAT-Based Techniques for Lexicographically Smallest Finite Models.

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

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Symmetries for Cube-And-Conquer in Finite Model Finding.

João Araújo, Choiwah Chow, Mikolás Janota

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Boosting isomorphic model filtering with invariants.

João Araújo, Choiwah Chow, Mikolás Janota

Constraints An Int. J., 2022

2021

Filtering Isomorphic Models by Invariants (Short Paper).

João Araújo, Choiwah Chow, Mikolás Janota

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021