Paulius Dilkas, Vaishak Belle: Weighted Model Counting Without Parameter Variables. SAT 2021: 134-151