Approximate Counting in SMT and Value Estimation for Probabilistic Programs
Tags
Conference / Medium
Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Softwa