Evaluating ASP and commercial solvers on the CSPLib (Q1020490)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Evaluating ASP and commercial solvers on the CSPLib
scientific article

    Statements

    Evaluating ASP and commercial solvers on the CSPLib (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    29 May 2009
    0 references
    0 references
    declarative constraint modelling
    0 references
    constraint programming
    0 references
    problem reformulation
    0 references
    experimental evaluation among solvers
    0 references
    answer set programming
    0 references
    OPL
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references