2 citations · 2 across the 2 of their papers we have counts for
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2020
PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth
James Trimble
This note introduces Bute-Plus, an exact solver for the treedepth problem. The core of the solver is a positive-instance driven dynamic program that constructs an elimination tree…
cs.DS2016
Position-Indexed Formulations for Kidney Exchange
John P. Dickerson, David F. Manlove, Benjamin Plaut +2
A kidney exchange is an organized barter market where patients in need of a kidney swap willing but incompatible donors. Determining an optimal set of exchanges is theoretically an…