Graph explorer

Michael Codish

Michael Codish contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapMichael Codish
13 nodes12 links
Michael Codish13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMichael CodishResearcherWLogic Programming with ...preprint / 2007WSolving Partial Order C...preprint / 2005WOptimal Base Encodings ...preprint / 2011WSAT-Based Termination A...preprint / 2011WCompiling Finite Domain...preprint / 2013WSolving Graph Coloring ...preprint / 2015WComputing the Ramsey Nu...preprint / 2015WWhen Six Gates are Not ...preprint / 2015WSorting Networks: the E...preprint / 2014WThe Quest for Optimal S...preprint / 2014WTwenty-Five Comparators...preprint / 2014WCompiling Finite Domain...preprint / 2012
PersonSignal 1012 links

Michael Codish

Researcher

Open