Fixed Depth Reasoning in Satisfiability and its Applications to Combinatorial Optimization
B. Taylor, D. Morris and L. Pileggi, “Fixed Depth Reasoning in Satisfiability and its Applications to Combinatorial Optimization”, Proceedings of the SRC Techcon Conference, September 2009.