Our work on <a href="https://link.springer.com/chapter/10.1007/978-3-031-37703-7_7">Rounding Meets Approximate Model Counting</a> has been accepted to <a href="http://www.i-cav.org/2023/">CAV 2023</a> and received Distinguished Paper Award. We round the approximate count of ApproxMC, which allows us to achieve 4$\times$ speedup over the state of the art. Authors: Jiong Yang and Kuldeep S. Meel

Name: Our work on Rounding Meets Approximate Model Counting has been accepted to CAV 2023 and received Distinguished Paper Award. We round the approximate count of ApproxMC, which allows us to achieve 4$\times$ speedup over the state of the art. Authors: Jiong Yang and Kuldeep S. Meel
Start: 2023-07-19T13:15:00+05:30

Date

Jul 19, 2023 1:15 PM

Meel Group

Department of Computer Science