Part of the Physical Sciences and Mathematics Commons

Works by Casey Miller in Physical Sciences and Mathematics

2018

Graph Algorithm Alternatives via Polynomial-Time Transformations: An Empirical Study Using Boolean Satisfiability and Integer Linear Programming, Kai Wang, Charles A. Phillips, Casey Miller, David G. Laughon, Michael A. Langston
Kai Wang

2017

Graph Algorithm Alternatives via Polynomial-Time Transformations: An Empirical Study Using Boolean Satisfiability and Integer Linear Programming, Kai Wang, Charles A. Phillips, Casey Miller, David G. Laughon, Michael A. Langston
Department of Computer Science Faculty Publications

Link