Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Robin Eßmann"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing proofs an
Externí odkaz:
https://doaj.org/article/840dfb64b1a249ccb5dba0e51223a2fe
Publikováno v:
Automated Reasoning ISBN: 9783030510534
IJCAR (2)
IJCAR (2)
We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, load balancing, and bin packing. We uncover incompletenesses in existing proofs and improve the approximation r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7fb451ef4c9a9030ff7ccb93d4099b6d
https://doi.org/10.1007/978-3-030-51054-1_17
https://doi.org/10.1007/978-3-030-51054-1_17
