Evgueni Petrov, Eric Monfroy. Automatic Analysis of Composite Solvers. In 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA. pages 276-283, IEEE Computer Society, 2002. [doi]
Abstract is missing.