%0 Journal Article %1 journals/et/YuanSPMA00 %A Yuan, Jun %A Shultz, Kurt %A Pixley, Carl %A Miller, Hillel %A Aziz, Adnan %D 2000 %J J. Electron. Test. %K dblp %N 1-2 %P 107-120 %T Automatic Vector Generation Using Constraints and Biasing. %U http://dblp.uni-trier.de/db/journals/et/et16.html#YuanSPMA00 %V 16

@article{journals/et/YuanSPMA00, added-at = {2022-12-30T00:00:00.000+0100}, author = {Yuan, Jun and Shultz, Kurt and Pixley, Carl and Miller, Hillel and Aziz, Adnan}, biburl = {https://www.bibsonomy.org/bibtex/227197430837f58c6e6ff320cd2fdc952/dblp}, ee = {https://doi.org/10.1023/A:1008301108750}, interhash = {0f9007321b5ee426422fb4cedf5d5c5d}, intrahash = {27197430837f58c6e6ff320cd2fdc952}, journal = {J. Electron. Test.}, keywords = {dblp}, number = {1-2}, pages = {107-120}, timestamp = {2024-04-08T20:52:26.000+0200}, title = {Automatic Vector Generation Using Constraints and Biasing.}, url = {http://dblp.uni-trier.de/db/journals/et/et16.html#YuanSPMA00}, volume = 16, year = 2000 }