Fingerprint
Dive into the research topics where Michael Codish is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Complete Symmetry Breaking for Finite Models
Dančo, M., Janota, M., Codish, M. & Araújo, J. J., 11 Apr 2025, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 11, p. 11194-11202 9 p.Ben-Gurion University of the Negev
Research output: Contribution to journal › Conference article › peer-review
-
SAT-Based Techniques for Lexicographically Smallest Finite Models
Janota, M., Chow, C., Araújo, J., Codish, M. & Vojtěchovský, P., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 8, p. 8048-8056 9 p.Ben-Gurion University of the Negev
Research output: Contribution to journal › Conference article › peer-review
Open Access -
Breaking Symmetries with High Dimensional Graph Invariants and Their Combination
Itzhakov, A. & Codish, M., 1 Jan 2023, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Proceedings. Cire, A. A. (ed.). Springer Science and Business Media Deutschland GmbH, p. 133-149 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13884 LNCS).Ben-Gurion University of the Negev
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs
Itzhakov, A. & Codish, M., 1 Apr 2022, In: Constraints. 27, 1-2, p. 8-28 21 p.Ben-Gurion University of the Negev
Research output: Contribution to journal › Article › peer-review
-
Incremental symmetry breaking constraints for graph search problems
Itzhakov, A. & Codish, M., 1 Jan 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. p. 1536-1543 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).Ben-Gurion University of the Negev
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review