Rodrigo de Salvo Braz Shahin Saadati Hung Bui 0001 Ciaran O'Reilly Lifted Arbitrary Constraint Solving for Lifted Probabilistic Inference. 2012 StarAI@UAI https://starai.cs.kuleuven.be/2012/accepted/braz.pdf conf/starai/2012 db/conf/starai/starai2012.html#BrazSBO12