On benchmarking constraint logic programming platforms. Response to Fernández and Hill's ``A comparative study of eight constraint programming languages over the Boolean and finite domains

DOI10.1023/B:CONS.0000006181.40558.37zbMath1069.68034OpenAlexW1986753785MaRDI QIDQ704657

D. Kharzeev

Publication date: 19 January 2005

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:cons.0000006181.40558.37

zbMATH Keywords

BenchmarkingCLPConstraint logic programmingECLiPSeFinite Domainsolver performanceUnit Testing

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (3)

Towards a practical engineering tool for rostering ⋮ Evaluating ASP and commercial solvers on the CSPLib ⋮ An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems

Uses Software

• Oz

This page was built for publication: On benchmarking constraint logic programming platforms. Response to Fernández and Hill's ``A comparative study of eight constraint programming languages over the Boolean and finite domains