Title
PACE Solver Description: Finding Elimination Trees Using ExTREEm - a Heuristic Solver for the Treedepth Decomposition Problem
Authors
[ 1 ] Instytut Informatyki, Wydział Informatyki i Telekomunikacji, Politechnika Poznańska | [ P ] employee
Scientific discipline (Law 2.0)
Year of publication
2020
Chapter type
chapter in monograph / paper
Publication language
english
Keywords
EN
- treedepth decomposition
- elimination tree
- separator
- PACE 2020
Pages (from - to)
465 - 468
Ministry points / chapter
5
Ministry points / conference (CORE)
70
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS