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!
Herausgeber*in
Shaw, Paul
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
OA Open Access

Export

Markieren/ Markierung löschen
Markierte Publikationen

Open Data PUB

Suchen in

Google Scholar
ISBN Suche