30 citations · 81 across the 15 of their papers we have counts for
1 paper · 1 filter
David Cushing, George W. Stagg, David I. Stewart
We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search fo…