Statistical modelling of CSP solving algorithms performance

The goal of this work is to try to create a statistical model, based only on easily computable parameters from the CSP problem to predict runtime behaviour of the solving algorithms, and let us choose the best algorithm to solve the problem. Although it seems that the obvious choice should be MAC, e...

Descripción completa

Detalles Bibliográficos
Autores: Mateu Piñol, Carles, Béjar Torres, Ramón, Fernàndez Camon, César
Tipo de recurso: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2005
País:España
Institución:Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)
Repositorio:Recercat. Dipósit de la Recerca de Catalunya
OAI Identifier:oai:recercat.cat:10459.1/46641
Acceso en línea:https://doi.org/10.1007/11564751_99
http://hdl.handle.net/10459.1/46641
Access Level:acceso abierto
Palabra clave:CSP (Llenguatge de programació)
Algorismes computacionals
Descripción
Sumario:The goal of this work is to try to create a statistical model, based only on easily computable parameters from the CSP problem to predict runtime behaviour of the solving algorithms, and let us choose the best algorithm to solve the problem. Although it seems that the obvious choice should be MAC, experimental results obtained so far show, that with big numbers of variables, other algorithms perfom much better, specially for hard problems in the transition phase.