Algorithms and Logic Group
People
Research
Publications
Seminars
News
Events
Weekly Seminars
Improving Maximum k-Plex Solver via Second-Order Reduction and Graph Color Bounding
2021-06-25
PPSZ on unique-kSAT
2021-06-11
A Fast Algorithm for SAT in Terms of Formula Length
2021-06-04
Random Sampling of Important Separators: New Bounds and New Applications
2021-05-28
Kernelization for Feedback Vertex Set based on linear programming
2021-05-21
Kernels for Planar Vertex-Disjoint Triangle Packing
2021-05-14
Approximation Algorithms for the Traveling Tournament Problem with Maximum Tour Length Two
2021-05-07
Efficient Reductions and a Fast Algorithm of Maximum Weighted Independent Set
2021-04-23
An Experimental Study of the Feedback Arc Set Problem
2021-04-09
Random sampling in social network auction
2021-04-02
1
2
3
4
5
6
7
8