%0 Journal Article %1 journals/corr/AmatoSSAV15 %A Amato, Gianluca %A Scozzari, Francesca %A Seidl, Helmut %A Apinis, Kalmer %A Vojdani, Vesal %D 2015 %J CoRR %K %T Efficiently intertwining widening and narrowing. %U http://dblp.uni-trier.de/db/journals/corr/corr1503.html#AmatoSSAV15 %V abs/1503.00883

@article{journals/corr/AmatoSSAV15, added-at = {2023-12-13T02:43:53.000+0100}, author = {Amato, Gianluca and Scozzari, Francesca and Seidl, Helmut and Apinis, Kalmer and Vojdani, Vesal}, biburl = {https://www.bibsonomy.org/bibtex/2546a97b55de93138fd204b45f68500ca/admin}, ee = {http://arxiv.org/abs/1503.00883}, interhash = {82d847e463eed89650a4cd70f0b3c921}, intrahash = {546a97b55de93138fd204b45f68500ca}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T02:43:53.000+0100}, title = {Efficiently intertwining widening and narrowing.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1503.html#AmatoSSAV15}, volume = {abs/1503.00883}, year = 2015 }