DBA*: Solving Combinatorial Problems with Deductive Databases.

Helmut Schmidt, Werner Kieling, Ulrich Gntzer, Rudolf Bayer

Browse the full BTW paper archive.