Semialgebraic Proofs and Efficient Algorithm Design
Noah Fleming; Pravesh Kothari; Toniann Pitassi · ISBN 9781680836363
Julkaistu 2019 Kieli englanti nidottu
In the last two decades a link has been established that, in some cases, proof that a solution exists has enabled an algorithm to find that solution itself. This has had most ef...