Combinatorial scientific computing. (2012)