Codish, Michael

8 publications

AAAI 2025 Complete Symmetry Breaking for Finite Models Marek Danco, Mikolás Janota, Michael Codish, João Jorge Araújo

AAAI 2024 SAT-Based Techniques for Lexicographically Smallest Finite Models Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský

AAAI 2020 Incremental Symmetry Breaking Constraints for Graph Search Problems Avraham Itzhakov, Michael Codish

IJCAI 2017 The DNA Word Design Problem: A New Constraint Model and New Results Michael Codish, Michael Frank, Vitaly Lagoon

JAIR 2014 A Novel SAT-Based Approach to Model Based Diagnosis Amit Metodi, Roni Stern, Meir Kalech, Michael Codish

JAIR 2013 Boolean Equi-Propagation for Concise and Efficient SAT Encodings of Combinatorial Problems Amit Metodi, Michael Codish, Peter J. Stuckey

IJCAI 2013 Breaking Symmetries in Graph Representation Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey

AAAI 2012 Compiling Model-Based Diagnosis to Boolean Satisfaction Amit Metodi, Roni Stern, Meir Kalech, Michael Codish