Statistical modelling of CSP solving algorithms performance


Autoria(s): Mateu Piñol, Carles; Béjar Torres, Ramón; Fernàndez Camon, César
Data(s)

2005

Resumo

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.

Identificador

http://hdl.handle.net/10459.1/46641

Idioma(s)

eng

Publicador

Springer

Relação

Versió postprint del document publicat a http://dx.doi.org/10.1007/11564751_99

Lecture Notes in Computer Science, 2005, vol. 3709, p. 861-867

Direitos

info:eu-repo/semantics/openAccess

(c) Springer, 2005

Palavras-Chave #CSP (Llenguatge de programació) #Algorismes computacionals
Tipo

article