Michael Codish
5 papers
· 2013–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🐣
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
Breaking Symmetries in Graph Representation
IJCAI 2013