Mun See Chang

According to our database, Mun See Chang authored at least 5 papers between 2022 and 2026.

Collaborative distances:

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

2026

Faster Symmetry Breaking Constraints for Abstract Structures.

Özgür Akgün, Mun See Chang, Ian P. Gent, Christopher Jefferson

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Breaking the Symmetries of Indistinguishable Objects.

Özgür Akgün, Mun See Chang, Ian P. Gent, Christopher Jefferson

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2025

2024

Structural Refactorings for Exploring Dependently Typed Programming.

Adam D. Barwell, Christopher Brown, Mun See Chang, Constantine Theocharis, Simon J. Thompson

Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024

2023

Towards Automatic Design of Factorio Blueprints.

Sean Patterson, Joan Espasa, Mun See Chang, Ruth Hoffmann

CoRR, 2023

2022

Disjoint direct product decompositions of permutation groups.

Mun See Chang, Christopher Jefferson

J. Symb. Comput., 2022