Michael Codish

Propagation via lazy clause generation

Olga Ohrimenko, Peter J. Stuckey, Michael Codish · Constraints · 2009 · 211 citations

Syntax, Engineering, Automated Reasoning +8

A semantic basis for the termination analysis of logic programs

Michael Codish, Cohavit Taboch · The Journal of Logic Programming · 1999 · 132 citations

Applied Logic, Computational Logic, Engineering +10

Improving abstract interpretations by combining domains

Michael Codish, Anne Mulkers, Maurice Bruynooghe et al. · ACM Transactions on Programming Languages and Systems · 1995 · 75 citations · Full text

Engineering, Software Systems, Verification +24

A Novel SAT-Based Approach to Model Based Diagnosis

Amit Metodi, Roni Stern, Meir Kalech et al. · Journal of Artificial Intelligence Research · 2014 · 74 citations · Full text

Engineering, Boolean Function, Intelligent Diagnostics +19

Termination analysis of logic programs through combination of type-based norms

Maurice Bruynooghe, Michael Codish, John P. Gallagher et al. · ACM Transactions on Programming Languages and Systems · 2007 · 70 citations · Full text

Program Checking, Engineering, Type Theory +17