Wire routing and satisfiability planning. Erdem, E., Lifschitz, V., & Wong, M. D. In International Conference on Computational Logic, pages 822–836, 2000. Springer, Berlin, Heidelberg.
bibtex   
@inproceedings{erdem2000wire,
  title={Wire routing and satisfiability planning},
  author={Erdem, Esra and Lifschitz, Vladimir and Wong, Martin DF},
  booktitle={International Conference on Computational Logic},
  pages={822--836},
  year={2000},
  organization={Springer, Berlin, Heidelberg}
}

Downloads: 0