EasyChair Smart Slide
A New Exact Solver for (Weighted) Max#SAT
A New Exact Solver for (Weighted) Max#SAT