Solving the Minimum Number of Open Stacks Problem with Explanation-based Techniques.

Hadrien Cambazard Narendra Jussien Solving the Minimum Number of Open Stacks Problem with Explanation-based Techniques. 14-19 2007 conf/exact/2007 ExaCt db/conf/exact/exact2007.html#CambazardJ07