New Drakepedia entry: Algorithmic Strategies. https://github.com/PeterDrake/drakepedia/blob/master/algorithms/algorithmic_strategies.md
New Drakepedia entry: Algorithmic Strategies. https://github.com/PeterDrake/drakepedia/blob/master/algorithms/algorithmic_strategies.md