Journal: Constraints

Volume 9, Issue 1

5 -- 34Mark Wallace, Joachim Schimpf, Kish Shen, Warwick Harvey. On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill s A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains
35 -- 91Agostino Dovier, Carla Piazza, Enrico Pontelli. Disunification in ::::ACI::::1 Theories