research
∙
09/05/2022
Resolving Infeasibility of Linear Systems: A Parameterized Approach
Deciding feasibility of large systems of linear equations and inequaliti...
share
research
∙
07/10/2021
Hitting Weighted Even Cycles in Planar Graphs
A classical branch of graph algorithms is graph transversals, where one ...
research
∙
03/11/2020
Hitting Long Directed Cycles is Fixed-Parameter Tractable
In the Directed Long Cycle Hitting Set problem we are given a directed g...
research
∙
03/05/2020
