Solving Intensional Weighted CSPs by Incremental Optimization with BDDs | Publicación