MaxSAT-Based Postprocessing for Treedepth

Abstract

Full Citation:

Vaidyanathan P. R., Stefan Szeider. MaxSAT-Based Postprocessing for Treedepth. 2020, Technical report AC-TR-20-009, Algorithms and Complexity Group, TU Wien.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.