Solving Intensional Weighted CSPs by Incremental Optimization with BDDs.

Miquel Bofill, Miquel Palah, Josep Suy, Mateu Villaret

Browse the full CP paper archive.