sub-SAT: A Formulation for Relaxed Boolean Satisfiability with Applications in Routing. Xu, H., Rutenbar, R. A., & Sakallah, K. A. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 22(6):814-820, June, 2003.
bibtex   
@article{xu2003subsat,
   author = {Xu, Hui and Rutenbar, Rob A. and Sakallah, Karem A.},
   title = {{sub-SAT: A Formulation for Relaxed Boolean Satisfiability with Applications in Routing}},
   journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
   volume = {22},
   number = {6},
   pages = {814-820},
   month = {June},
   year = {2003}
}

Downloads: 0