%0 Journal Article %1 journals/corr/BjorklundKK15 %A Björklund, Andreas %A Kaski, Petteri %A Kowalik, Lukasz %D 2015 %J CoRR %K %T Fast Witness Extraction Using a Decision Oracle. %U http://dblp.uni-trier.de/db/journals/corr/corr1508.html#BjorklundKK15 %V abs/1508.03572

@article{journals/corr/BjorklundKK15, added-at = {2023-12-12T18:48:56.000+0100}, author = {Björklund, Andreas and Kaski, Petteri and Kowalik, Lukasz}, biburl = {https://www.bibsonomy.org/bibtex/253227485a2351a082a0b71c51388e5c0/admin}, ee = {http://arxiv.org/abs/1508.03572}, interhash = {17a58d0e3645fa91b423b3d70a8a7fe1}, intrahash = {53227485a2351a082a0b71c51388e5c0}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T18:48:56.000+0100}, title = {Fast Witness Extraction Using a Decision Oracle.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1508.html#BjorklundKK15}, volume = {abs/1508.03572}, year = 2015 }