Hybrid Solving Techniques
2010 ◽
pp. 169-190