Deborah East Miroslaw Truszczynski More on Wire Routing with ASP. 2001 conf/asp/2001 Answer Set Programming http://www.cs.nmsu.edu/~tson/ASP2001/16.ps db/conf/asp/asp2001.html#EastT01