Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics
Nafar M, Römer M (2024)
In: Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Shaw P (Ed); Leibniz International Proceedings in Informatics (LIPIcs), 307. Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik: 21:1-21:17.
Konferenzbeitrag | Englisch
Download
Es wurden keine Dateien hochgeladen. Nur Publikationsnachweis!
Autor*in
Herausgeber*in
Shaw, Paul
Einrichtung
Erscheinungsjahr
2024
Titel des Konferenzbandes
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024)
Serien- oder Zeitschriftentitel
Leibniz International Proceedings in Informatics (LIPIcs)
Band
307
Seite(n)
21:1-21:17
Konferenz
30th International Conference on Principles and Practice of Constraint Programming (CP 2024)
Konferenzort
Girona, Spain
ISBN
978-3-95977-336-2
ISSN
1868-8969
Page URI
https://pub.uni-bielefeld.de/record/2992165
Zitieren
Nafar M, Römer M. Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics. In: Shaw P, ed. Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Leibniz International Proceedings in Informatics (LIPIcs). Vol 307. Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik; 2024: 21:1-21:17.
Nafar, M., & Römer, M. (2024). Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics. In P. Shaw (Ed.), Leibniz International Proceedings in Informatics (LIPIcs): Vol. 307. Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024) (pp. 21:1-21:17). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CP.2024.21
Nafar, Mohsen, and Römer, Michael. 2024. “Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics”. In Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), ed. Paul Shaw, 307:21:1-21:17. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
Nafar, M., and Römer, M. (2024). “Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics” in Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Shaw, P. ed. Leibniz International Proceedings in Informatics (LIPIcs), vol. 307, (Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik), 21:1-21:17.
Nafar, M., & Römer, M., 2024. Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics. In P. Shaw, ed. Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Leibniz International Proceedings in Informatics (LIPIcs). no.307 Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, pp. 21:1-21:17.
M. Nafar and M. Römer, “Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics”, Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), P. Shaw, ed., Leibniz International Proceedings in Informatics (LIPIcs), vol. 307, Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2024, pp.21:1-21:17.
Nafar, M., Römer, M.: Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics. In: Shaw, P. (ed.) Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Leibniz International Proceedings in Informatics (LIPIcs). 307, p. 21:1-21:17. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2024).
Nafar, Mohsen, and Römer, Michael. “Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics”. Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Ed. Paul Shaw. Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2024.Vol. 307. Leibniz International Proceedings in Informatics (LIPIcs). 21:1-21:17.
Link(s) zu Volltext(en)
Access Level
Open Access