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]

Abstract

Abstract is missing.