Computer aided design (CAD) using logic programming.

Paul W. Horstmann, Edward P. Stabler

Browse the full DAC paper archive.