Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics.
Mohsen NafarMichael RömerPublished in: CP (2024)
Keyphrases
- variable ordering
- binary decision diagrams
- decision diagrams
- maximum independent set
- graph theory
- conflict directed
- independent set
- boolean functions
- graph theoretic
- branch and bound algorithm
- optimal solution
- planning problems
- markov decision processes
- model checking
- max sat
- objective function
- knowledge compilation
- digital circuits
- evolutionary algorithm