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
Research output: Contribution to book or proceeding › Conference article › peer-review