pith. sign in

Michael Codish

Identifiers

  • name variant Michael Codish 0.60 · backfill

Papers (23)

  1. A SAT Encoding for the $n$-Fractions Problem cs.DM · 2018 · author #1
  2. Graphs with girth at least 5 with orders between 20 and 32 math.CO · 2017 · author #2
  3. Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description) cs.DS · 2016 · author #2
  4. Breaking Symmetries in Graph Search with Canonizing Sets cs.AI · 2015 · author #2
  5. Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking cs.AI · 2015 · author #1
  6. When Six Gates are Not Enough cs.CC · 2015 · author #1
  7. Sorting Networks: to the End and Back Again cs.DS · 2015 · author #1
  8. Applying Sorting Networks to Synthesize Optimized Sorting Libraries cs.DS · 2015 · author #1
  9. Optimal-Depth Sorting Networks cs.DS · 2014 · author #2
  10. Sorting Networks: the End Game cs.DS · 2014 · author #1
  11. Solving Graph Coloring Problems with Abstraction and Symmetry cs.AI · 2014 · author #1
  12. Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten) cs.DM · 2014 · author #1
  13. The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes cs.DS · 2014 · author #1
  14. Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems cs.AI · 2014 · author #2
  15. Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut cs.PL · 2013 · author #1
  16. Compiling Finite Domain Constraints to SAT with BEE cs.LO · 2012 · author #2
  17. SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers cs.LO · 2011 · author #1
  18. Boolean Equi-propagation for Optimized SAT Encoding cs.AI · 2011 · author #2
  19. Optimal Base Encodings for Pseudo-Boolean Constraints cs.DM · 2010 · author #1
  20. Logic Programming with Satisfiability cs.PL · 2007 · author #1
  21. Solving Partial Order Constraints for LPO Termination cs.PL · 2005 · author #1
  22. Worst-Case Groundness Analysis Using Definite Boolean Functions cs.PL · 2004 · author #2
  23. Inferring Termination Conditions for Logic Programs using Backwards Analysis cs.PL · 2003 · author #2

Mentions

  • 1308.3937 #1 · backfill · confidence 0.70 Michael Codish
  • 1206.3883 #2 · backfill · confidence 0.70 Michael Codish
  • 1107.5980 #1 · backfill · confidence 0.70 Michael Codish
  • 1104.4617 #2 · backfill · confidence 0.70 Michael Codish
  • 1007.4935 #1 · backfill · confidence 0.70 Michael Codish

Frequent Coauthors