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

@article{DBLP:journals/sigmod/Kiessling92,
  author    = {Werner Kie{\ss}ling},
  title     = {A Complex Benchmark for Logic Programming and Deductive Databases,
               or Who Can Beat the N-Queens ?},
  journal   = {SIGMOD Record},
  volume    = {21},
  number    = {4},
  year      = {1992},
  pages     = {28-34},
  ee        = {http://doi.acm.org/10.1145/141818.141824, db/journals/sigmod/Kiessling92.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An4-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Online Edition

Referenced by

1. Werner Kießling, Helmut Schmidt, Werner Strauß, Gerhard Dünzinger: DECLARE and SDS: Early Efforts to Commercialize Deductive Database Technology. VLDB J. 3(2): 211-243(1994)