%0 Conference Paper %1 conf/isw/ZhangSCH18 %A Zhang, Yingjie %A Sun, Siwei %A Cai, Jiahao %A Hu, Lei %B ISC %D 2018 %E Chen, Liqun %E Manulis, Mark %E Schneider, Steve A. %I Springer %K dblp %P 101-115 %T Speeding up MILP Aided Differential Characteristic Search with Matsui's Strategy. %U http://dblp.uni-trier.de/db/conf/isw/isc2018.html#ZhangSCH18 %V 11060 %@ 978-3-319-99136-8

@inproceedings{conf/isw/ZhangSCH18, added-at = {2018-09-03T00:00:00.000+0200}, author = {Zhang, Yingjie and Sun, Siwei and Cai, Jiahao and Hu, Lei}, biburl = {https://www.bibsonomy.org/bibtex/2ec1fd698e8b531cfc03f7b07314bfd47/dblp}, booktitle = {ISC}, crossref = {conf/isw/2018}, editor = {Chen, Liqun and Manulis, Mark and Schneider, Steve A.}, ee = {https://doi.org/10.1007/978-3-319-99136-8_6}, interhash = {8da2af6bcedb98443f28e73df429ca72}, intrahash = {ec1fd698e8b531cfc03f7b07314bfd47}, isbn = {978-3-319-99136-8}, keywords = {dblp}, pages = {101-115}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-08T11:44:14.000+0200}, title = {Speeding up MILP Aided Differential Characteristic Search with Matsui's Strategy.}, url = {http://dblp.uni-trier.de/db/conf/isw/isc2018.html#ZhangSCH18}, volume = 11060, year = 2018 }