Scholar
Michael Codish
Google Scholar ID: w6rPFlcAAAAJ
Department of Computer Science, Ben-Gurion University of the Negev
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
744
H-index
12
i10-index
14
Publications
20
Co-authors
32
list available
Publications
5 items
Compact Partial Symmetry Breaking for Graph Search Problems
2026
Cited
0
Breaking Symmetries with Involutions
2025
Cited
0
Breaking Symmetries from a Set-Covering Perspective
2025
Cited
0
Complete Symmetry Breaking for Finite Models
2025
Cited
0
SAT-Based Techniques for Lexicographically Smallest Finite Models
AAAI Conference on Artificial Intelligence · 2024
Cited
1
Co-authors
10 total
Peter Stuckey
Faculty of Information Technology, Monash University
Peter Schneider-Kamp
Professor of Computer Science, University of Southern Denmark
Samir Genaim
Universidad Complutense de Madrid
Jürgen Giesl
Professor of Computer Science, RWTH Aachen University
Kim Marriott
Professor, Monash University
Carsten Fuhs
Senior Lecturer, Birkbeck, University of London
Manuel Hermenegildo
IMDEA Software Institute and Technical U. of Madrid (UPM)
Maria Garcia de la Banda
Faculty of Information Technology, Monash University
