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
-
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
-
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
3 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
-
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
5 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 Access25 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 Access13 Scopus citations -
A SAT Encoding for the n-Fractions Problem
Codish, M., 2 Jul 2018.Research output: Working paper/Preprint › Preprint
40 Downloads (Pure) -
Breaking symmetries with lex implications
Codish, M., Ehlers, T., Gange, G., Itzhakov, A. & Stuckey, P. J., 1 Jan 2018, Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Proceedings. Gallagher, J. P., Sulzmann, M. & Gallagher, J. P. (eds.). Springer Verlag, p. 182-197 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10818 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations -
Logic programming with max-clique and its application to graph coloring (tool description)
Codish, M., Frank, M., Metodi, A. & Muslimany, M., 1 Feb 2018, Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017. Son, T. C., Mears, C., Rocha, R. & Saeedloei, N. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (OpenAccess Series in Informatics; vol. 58).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations
Projects
- 1 Finished
-
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