Michael Codish

Joined

July 2019

Names

Michael Codish (Preferred)

Emails

****@gmail.com (Confirmed)

,

****@bgu.ac.il (Confirmed)

Personal Links

Career & Education History

Full Professor

Department of Computer Sceince, Ben Gurion University of the Negev (bgu.ac.il)

1994 – 2025

Advisors, Relations & Conflicts

Social

Peter J. Stuckey

Present

Social

Maria Garcia de la Banda

Present

Expertise

No areas of expertise listed

Publications

Breaking Symmetries from a Set-Covering Perspective
Michael Codish, Mikolás Janota
- CoRR 2025
- Readers: Everyone
Complete Symmetry Breaking for Finite Models
Marek Danco, Mikolás Janota, Michael Codish, João Araújo
- CoRR 2025
- Readers: Everyone
SAT-Based Techniques for Lexicographically Smallest Finite Models
Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský
- CoRR 2025
- Readers: Everyone
Breaking Symmetries with High Dimensional Graph Invariants and Their Combination
Avraham Itzhakov, Michael Codish
- CPAIOR 2023
- Readers: Everyone
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs
Avraham Itzhakov, Michael Codish
- Constraints An Int. J. 2022
- Readers: Everyone
Incremental Symmetry Breaking Constraints for Graph Search Problems
Avraham Itzhakov, Michael Codish
- AAAI 2020
- Readers: Everyone
Sorting networks: To the end and back again
Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
- J. Comput. Syst. Sci. 2019
- Readers: Everyone
Constraints for symmetry breaking in graph representation
Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey
- Published: 01 Jan 2019, Last Modified: 15 May 2023
- Constraints An Int. J. 2019
- Readers: Everyone
The DNA Word Design Problem: A New Constraint Model and New Results
Michael Codish, Michael Frank, Vitaly Lagoon
- 2017 (modified: 10 Nov 2022)
- IJCAI 2017
- Readers: Everyone

View all 12 publications

Co-Authors