Publications
- Recognition of tractable DNFs representable by a constant number of intervals2017 | Faculty of Mathematics and Physics
- Knowledge compilation and compression using interval representations2015 | Faculty of Mathematics and Physics
- Group connectivity: Z_4 vs Z_2^22020 | Faculty of Mathematics and Physics
- Approximation Algorithms for Steiner Tree Based on Star Contractions: A Unified View2020 | Faculty of Mathematics and Physics
- Homomorphisms of Cayley Graphs and Cycle Double Covers2020 | Faculty of Mathematics and Physics
- Homomorphisms of Cayley graphs and Cycle Double Covers2017 | Faculty of Mathematics and Physics
- Knowledge compilation from DNF to switch-list representations2016 | Faculty of Mathematics and Physics
Loading network view...