%0 Journal Article %1 journals/tcad/MishchenkoZSBBC06 %A Mishchenko, Alan %A Zhang, Jin S. %A Sinha, Subarnarekha %A Burch, Jerry R. %A Brayton, Robert K. %A Chrzanowska-Jeske, Malgorzata %D 2006 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 5 %P 743-755 %T Using simulation and satisfiability to compute flexibilities in Boolean networks. %U http://dblp.uni-trier.de/db/journals/tcad/tcad25.html#MishchenkoZSBBC06 %V 25

@article{journals/tcad/MishchenkoZSBBC06, added-at = {2020-09-24T00:00:00.000+0200}, author = {Mishchenko, Alan and Zhang, Jin S. and Sinha, Subarnarekha and Burch, Jerry R. and Brayton, Robert K. and Chrzanowska-Jeske, Malgorzata}, biburl = {https://www.bibsonomy.org/bibtex/21c794de6715564a2a7dff1f9cca3c770/dblp}, ee = {https://www.wikidata.org/entity/Q60327065}, interhash = {ccdb9cc0c0e1d18b7b9a9531acc65bf9}, intrahash = {1c794de6715564a2a7dff1f9cca3c770}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 5, pages = {743-755}, timestamp = {2020-09-25T11:50:32.000+0200}, title = {Using simulation and satisfiability to compute flexibilities in Boolean networks.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad25.html#MishchenkoZSBBC06}, volume = 25, year = 2006 }