Specification and Automatic Verification of Computational Reductions. Grange, J., Vehlken, F., Vortmeier, N., & Zeume, T. CoRR, 2024.
Specification and Automatic Verification of Computational Reductions. [link]Link  Specification and Automatic Verification of Computational Reductions. [link]Paper  bibtex   
@article{journals/corr/abs-2407-04037,
  added-at = {2024-08-07T00:00:00.000+0200},
  author = {Grange, Julien and Vehlken, Fabian and Vortmeier, Nils and Zeume, Thomas},
  biburl = {https://www.bibsonomy.org/bibtex/246f6ce98d64c313532a014560eb402d1/dblp},
  ee = {https://doi.org/10.48550/arXiv.2407.04037},
  interhash = {e09c91fd7e3aa2f6d98b23b02e7b884c},
  intrahash = {46f6ce98d64c313532a014560eb402d1},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2024-08-12T07:05:50.000+0200},
  title = {Specification and Automatic Verification of Computational Reductions.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr2407.html#abs-2407-04037},
  volume = {abs/2407.04037},
  year = 2024
}

Downloads: 0