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.68034MaRDI QIDQ704657

D. Kharzeev

Publication date: 19 January 2005

Published in: Constraints (Search for Journal in Brave)

zbMATH Keywords

Benchmarking; CLP; Constraint logic programming; ECLiPSe; Finite Domain; solver performance; Unit Testing

Mathematics Subject Classification ID

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

68N17: Logic programming

Uses Software

• Oz