%0 Conference Paper %1 conf/idt2/LukacK23 %A Lukac, Martin %A Kameyama, Michitaka %B IDT %D 2023 %I IEEE %K dblp %P 25-30 %T Verification Based Algorithm Selection. %U http://dblp.uni-trier.de/db/conf/idt2/idt2023.html#LukacK23 %@ 979-8-3503-0586-9

@inproceedings{conf/idt2/LukacK23, added-at = {2023-08-18T00:00:00.000+0200}, author = {Lukac, Martin and Kameyama, Michitaka}, biburl = {https://www.bibsonomy.org/bibtex/207674347925e4a7ee801aca53ffb2730/dblp}, booktitle = {IDT}, crossref = {conf/idt2/2023}, ee = {https://doi.org/10.1109/IDT59031.2023.10194439}, interhash = {b6cd57a5fe99a5f5926103e3511d172b}, intrahash = {07674347925e4a7ee801aca53ffb2730}, isbn = {979-8-3503-0586-9}, keywords = {dblp}, pages = {25-30}, publisher = {IEEE}, timestamp = {2024-04-09T21:26:48.000+0200}, title = {Verification Based Algorithm Selection.}, url = {http://dblp.uni-trier.de/db/conf/idt2/idt2023.html#LukacK23}, year = 2023 }