%0 Journal Article %1 journals/corr/abs-1802-04428 %A Huang, Kangjing %A Qiu, Xiaokang %A Tian, Qi %A Wang, Yanjun %D 2018 %J CoRR %K dblp %T Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis. %U http://dblp.uni-trier.de/db/journals/corr/corr1802.html#abs-1802-04428 %V abs/1802.04428

@article{journals/corr/abs-1802-04428, added-at = {2018-08-13T00:00:00.000+0200}, author = {Huang, Kangjing and Qiu, Xiaokang and Tian, Qi and Wang, Yanjun}, biburl = {https://www.bibsonomy.org/bibtex/28c3cfd0ad52446a6d13b08f02c0bee2e/dblp}, ee = {http://arxiv.org/abs/1802.04428}, interhash = {c45af520bc94f94693609eb2e12eb793}, intrahash = {8c3cfd0ad52446a6d13b08f02c0bee2e}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T15:02:18.000+0200}, title = {Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1802.html#abs-1802-04428}, volume = {abs/1802.04428}, year = 2018 }