Michael Codish
5 papers · 2013–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2)
🏃
Academic Marathon
(12)
🐝
Cross-Pollinator
(9)
📈
Trend Setter
🚀
Conference Pioneer
Conferences
AAAI (3)
IJCAI (2)
Top co-authors
Keywords
sat solver
(3)
algebraic structure
(2)
symmetry breaking
(2)
finite model
(2)
hamming distance
(1)
first-order logic
(1)
canonical form
(1)
graph search
(1)
constraint programming
(1)
dna code design
(1)
code word
(1)
sat solving
(1)
model enumeration
(1)
lexicographic ordering
(1)
incremental computation
(1)
dna code
(1)
canonical graph
(1)
boolean satisfiability
(1)
parallel graph search
(1)
constraint solving
(1)
Papers
Complete Symmetry Breaking for Finite Models
AAAI 2025
SAT-Based Techniques for Lexicographically Smallest Finite Models
AAAI 2024
Incremental Symmetry Breaking Constraints for Graph Search Problems
AAAI 2020
The DNA Word Design Problem: A New Constraint Model and New Results
IJCAI 2017
Breaking Symmetries in Graph Representation
IJCAI 2013