Vaidyanathan P. R.

Recent Publications

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