Mitchell, David

CDCL SAT solver heuristics: Clause management, instance structure, and decisions

Finding a satisfying assignment for planted NAE-E3-SAT using a voting style algorithm

Instance transformation for declarative solvers

Lifted unit propagation

Minor-embedding planar graphs in grid graphs

Planarity Based Algorithms for Minor Embedding in Grid Graphs