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
-
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
-
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
1 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 Access13 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 Access11 Scopus citations -
A SAT Encoding for the n-Fractions Problem
Codish, M., 2 Jul 2018.Research output: Working paper/Preprint › Preprint
File39 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 -
SAT-based big-step local search
Muslimany, M. & Codish, M., 1 Sep 2018, Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018. Institute of Electrical and Electronics Engineers, p. 109-116 8 p. 8750736. (Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Optimal-depth sorting networks
Bundala, D., Codish, M., Cruz-Filipe, L., Schneider-Kamp, P. & Závodný, J., 1 Mar 2017, In: Journal of Computer and System Sciences. 84, p. 185-204 20 p.Research output: Contribution to journal › Article › peer-review
Open Access10 Scopus citations