PACE Solver Description: Finding Elimination Trees Using ExTREEm - a Heuristic Solver for the Treedepth Decomposition Problem

Sylwester Swat

System Informacji Naukowej Politechniki Poznańskiej

PL EN

Strona główna / Publikacje / PACE Solver Description: Finding Elimination Trees Using ExTREEm - a Heuristic Solver for the Treedepth Decomposition Problem

Zgłoś uwagę

Rozdział

Pobierz BibTeX

Tytuł

PACE Solver Description: Finding Elimination Trees Using ExTREEm - a Heuristic Solver for the Treedepth Decomposition Problem

Autorzy

Sylwester Swat (WIiT) ^{[ 1 ][ 2.3 ][ P ]}

^{[ 1 ]} Instytut Informatyki, Wydział Informatyki i Telekomunikacji, Politechnika Poznańska | ^{[ P ]} pracownik

Dyscyplina naukowa (Ustawa 2.0)

[2.3] Informatyka techniczna i telekomunikacja

Rok publikacji

2020

Typ rozdziału

rozdział w monografii naukowej / referat

Język publikacji

angielski

Słowa kluczowe

EN

treedepth decomposition
elimination tree
separator
PACE 2020

Strony (od-do)

465 - 468

URL

https://drops.dagstuhl.de/opus/volltexte/2020/13336/pdf/LIPIcs-IPEC-2020-33.pdf

Książka

15th International Symposium on Parameterized and Exact Computation (IPEC 2020)

Zaprezentowany na

15th International Symposium on Parameterized and Exact Computation (IPEC 2020), 14-18.12.2020, Hong Kong, China

Punktacja Ministerstwa / rozdział

5

Punktacja Ministerstwa / konferencja (CORE)

70

System tworzony przez Politechnikę Poznańską oraz Poznańskie Centrum Superkomputerowo-Sieciowe

Zaloguj się przez eKonto, aby dodać do SIN