Automatic Analysis of Composite Solvers

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]

Authors

Evgueni Petrov

This author has not been identified. Look up 'Evgueni Petrov' in Google

Eric Monfroy

This author has not been identified. Look up 'Eric Monfroy' in Google