Wire Routing and Satisfiability Planning
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/cl/ErdemLW00,
author = {Esra Erdem and
Vladimir Lifschitz and
Martin D. F. Wong},
title = {Wire Routing and Satisfiability Planning},
booktitle = {Computational Logic},
year = {2000},
pages = {822-836},
ee = {http://link.springer.de/link/service/series/0558/bibs/1861/18610822.htm},
crossref = {DBLP:conf/cl/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
