An OpenCL implementation of a forward sampling algorithm for CP-logic
scientific article; zbMATH DE number 6523300
scientific article