conftrace_

multi-decision diagram

1 paper

Explore in graph

Also known as

MDD

Co-occurring keywords · papers mentioning both

boolean decision diagram (1) constraint encoding (1) boolean variable (1) resource constrained scheduling (1) decision diagram (1) pseudo-boolean constraint (1) combinatorial optimization (1)

Papers

Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems IJCAI 2017