Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems.
Miquel BofillJordi CollJosep SuyMateu VillaretPublished in: IJCAI (2017)
Keyphrases
- resource constrained
- knowledge compilation
- scheduling problem
- pseudo boolean constraints
- decision diagrams
- resource constraints
- sensor networks
- binary decision diagrams
- wireless sensor networks
- logic programming
- job shop scheduling
- markov decision processes
- multipath
- normal form
- sensor nodes
- np hard
- rfid tags
- multi valued
- machine learning
- tabu search
- computational complexity