Vaidyanathan P. R.

Recent Publications

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