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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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
8 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
8 Scopus citations -
A SAT Encoding for the n-Fractions Problem
Codish, M., 2 Jul 2018, (arXiv:1612.08154 [cs]).Research output: Working paper/Preprint › Preprint
File13 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 Inc., 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
-
Graphs with girth at least 5 with orders between 20 and 32
Miller, A. & Codish, M., 23 Aug 2017, (arxiv Math. CO).Research output: Working paper/Preprint › Preprint
-
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