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
{"_id":{"_str":"53424e050e946d920a0006a2"},"__v":13,"authorIDs":["5456f0758b01c81930000081","54635c734f4818cf4f00021e","5df0b7a08367c8de010000ce","5df87bbedb7d9ddf01000044","5e4957a916841dde01000031","u493trvfaXuB4g9PZ"],"author_short":["Erdem, E.","Lifschitz, V.","Wong, M. D."],"bibbaseid":"erdem-lifschitz-wong-wireroutingandsatisfiabilityplanning-2000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Wire routing and satisfiability planning","author":[{"propositions":[],"lastnames":["Erdem"],"firstnames":["Esra"],"suffixes":[]},{"propositions":[],"lastnames":["Lifschitz"],"firstnames":["Vladimir"],"suffixes":[]},{"propositions":[],"lastnames":["Wong"],"firstnames":["Martin","DF"],"suffixes":[]}],"booktitle":"International Conference on Computational Logic","pages":"822–836","year":"2000","organization":"Springer, Berlin, Heidelberg","bibtex":"@inproceedings{erdem2000wire,\n title={Wire routing and satisfiability planning},\n author={Erdem, Esra and Lifschitz, Vladimir and Wong, Martin DF},\n booktitle={International Conference on Computational Logic},\n pages={822--836},\n year={2000},\n organization={Springer, Berlin, Heidelberg}\n}\n\n","author_short":["Erdem, E.","Lifschitz, V.","Wong, M. D."],"key":"erdem2000wire","id":"erdem2000wire","bibbaseid":"erdem-lifschitz-wong-wireroutingandsatisfiabilityplanning-2000","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://cogrobo.sabanciuniv.edu/wp-content/bibtex.bib","downloads":0,"keywords":[],"search_terms":["wire","routing","satisfiability","planning","erdem","lifschitz","wong"],"title":"Wire routing and satisfiability planning","year":2000,"dataSources":["e6rYgQxtrAXqREozX"]}