%0 Conference Paper %1 conf/fmcad/LeSG21 %A Le, Nham %A Si, Xujie %A Gurfinkel, Arie %B FMCAD %D 2021 %I IEEE %K dblp %P 86-95 %T Data-driven Optimization of Inductive Generalization. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#LeSG21 %@ 978-3-85448-046-4

@inproceedings{conf/fmcad/LeSG21, added-at = {2021-12-07T00:00:00.000+0100}, author = {Le, Nham and Si, Xujie and Gurfinkel, Arie}, biburl = {https://www.bibsonomy.org/bibtex/298f8f9fa0e2eb8364dd2e298972b1f66/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2021}, ee = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_17}, interhash = {f7f2f63239be2cf23ff6753c14d8d012}, intrahash = {98f8f9fa0e2eb8364dd2e298972b1f66}, isbn = {978-3-85448-046-4}, keywords = {dblp}, pages = {86-95}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {Data-driven Optimization of Inductive Generalization.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#LeSG21}, year = 2021 }