Dualizing Projected Model Counting
RiSE workshop at the 12th Alpine Verification Meeting (AVM 2018), Wagrain, 26 September, 2018

[ slides ]