Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems.
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
Browse the full IJCAI paper archive.
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
Browse the full IJCAI paper archive.