Commit b3a590ca authored by nipkow's avatar nipkow
Browse files

added link to paper

parent 0d8e463e76c7
......@@ -112,9 +112,11 @@ MathJax = {
<td class="datahead" valign="top">Abstract:</td>
<td class="abstract mathjax_process">
We present the first formal verification of approximation algorithms
for NP-complete optimization problems: vertex cover, independent set,
for NP-complete optimization problems: vertex cover, set cover, independent set,
load balancing, and bin packing. The proofs correct incompletenesses
in existing proofs and improve the approximation ratio in one case.</td>
in existing proofs and improve the approximation ratio in one case.
A detailed description of our work has been published in the proceedings of
<a href="https://doi.org/10.1007/978-3-030-51054-1_17">IJCAR 2020</a>.</td>
</tr>
......
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment