A Complex Benchmark for Logic Programming and Deductive Databases, or Who Can Beat the N-Queens ?

Werner Kießling. A Complex Benchmark for Logic Programming and Deductive Databases, or Who Can Beat the N-Queens ?. SIGMOD Record, 21(4):28-34, 1992. [doi]

Authors

Werner Kießling

This author has not been identified. Look up 'Werner Kießling' in Google