research
∙
03/14/2020
Graph Profiling for Vertex Cover: Targeted Reductions in a Branch and Reduce Solver
Akiba and Iwata [TCS, 2016] demonstrated that a branch and reduce (B R...
share
research
∙
07/12/2018
Benchmarking treewidth as a practical component of tensor-network--based quantum simulation
Tensor networks are powerful factorization techniques which reduce resou...
research
∙
06/07/2018
Structural Rounding: Approximation Algorithms for Graphs Near an Algorithmically Tractable Class
We develop a new framework for generalizing approximation algorithms fro...
research
∙
05/02/2018