Research output per year
Research output per year
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
-
Lazy clause generation in retrospect
Ohrimenko, O., Stuckey, P. J. & Codish, M., 1 Jan 2026, (Accepted/In press) In: Constraints.Research output: Contribution to journal › Article › peer-review
Open Access -
Breaking Symmetries from a Set-Covering Perspective
Codish, M. & Janota, M., 1 Jan 2025, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 22nd International Conference, CPAIOR 2025, Proceedings. Tack, G. (ed.). Springer Science and Business Media Deutschland GmbH, p. 169-187 19 p. (Lecture Notes in Computer Science; vol. 15762 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Breaking Symmetries with Involutions
Codish, M. & Janota, M., 8 Aug 2025, 31st International Conference on Principles and Practice of Constraint Programming, CP 2025. de la Banda, M. G. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 340).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Scopus citations -
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.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Scopus citations -
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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
5 Scopus citations -
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.Research output: Contribution to journal › Article › peer-review
3 Scopus citations -
Incremental symmetry breaking constraints for graph search problems
Itzhakov, A. & Codish, M., 1 Jan 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 1536-1543 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
7 Scopus citations -
Constraints for symmetry breaking in graph representation
Codish, M., Miller, A., Prosser, P. & Stuckey, P. J., 15 Jan 2019, In: Constraints. 24, 1, p. 1-24 24 p.Research output: Contribution to journal › Article › peer-review
Open Access36 Scopus citations -
Sorting networks: To the end and back again
Codish, M., Cruz-Filipe, L., Ehlers, T., Müller, M. & Schneider-Kamp, P., 1 Sep 2019, In: Journal of Computer and System Sciences. 104, p. 184-201 18 p.Research output: Contribution to journal › Article › peer-review
Open Access16 Scopus citations
-
Application of SAT Solving to Computational Geometry
Carmi, P. (PI) & Codish, M. (CoPI)
1/01/26 → 31/12/29
Project: Research
-
Applying SAT Solving Techniques to Extremal Combinatorics
Codish, M. (PI)
1/01/17 → 31/12/20
Project: Research
-
Discovery Projects award
Codish, M. (PI), Søndergaard, H. (CoPI), Stuckey, P. J. (CoPI) & Schachte, P. (CoPI)
1/07/14 → 31/07/18
Project: Research
-
Discovery Projects award
Codish, M. (PI), Søndergaard, H. (CoPI), Stuckey, P. J. (CoPI) & Schachte, P. (CoPI)
1/07/14 → 31/07/18
Project: Research
-
Compact Encoding of Model-Based Diagnosis to Boolean Satisfiabilty
Codish, M. (PI) & Kalech, M. (CoPI)
1/01/13 → 1/01/17
Project: Research