About Me

Me in a picture

Papers

2019

  • Multitype Integer Monoid Optimization and Applications Dušan Knop, Asaf Levin, Matthias Mnich, Shmuel Onn

  • A row-invariant parameterized algorithm for integer programming Daniel Kráľ

  • An Algorithmic Theory of Integer Programming Friedrich Eisenbrand, Christoph Hunkenschröder, Kim-Manuel Klein, Asaf Levin, Shmuel Onn

2018

  • Approximating Max-Cut under Graph-MSO Constraints Jon Lee, Viswanath Nagarajan, Xiangkun Shen

    ORL

  • A Unifying Framework for Manipulation Problems Dušan Knop, Matthias Mnich

  • Opinion Diffusion and Campaigning on Society Graphs Piotr Faliszewski, Rica Gonen, Nimrod Talmon

  • A Parameterized Strongly Polynomial Algorithm for Block Structured Integer Programs Asaf Levin, Shmuel Onn

  • Evaluating and Tuning n-fold Integer Programming Kateřina Altmanová, Dušan Knop

  • Integer Programming Toolbox (two short articles in June and December 2018 issues of FPT News: The Parameterized Complexity Newsletter)

2017

  • Approximate Shifted Combinatorial Optimization Asaf Levin, Syed M Meesum, Shmuel Onn

  • Integer Programming in Parameterized Complexity: Three Miniatures Tomáš Gavenčiak, Dušan Knop

  • Combinatorial n-Fold Integer Programming and Applications Dušan Knop, Matthias Mnich

  • Parameterized Shifted Combinatorial Optimization Petr Hliněný, Jakub Gajarský, Shmuel Onn

  • Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity (Best Student Paper Award at WG 2017!) Dušan Knop, Tomáš Masařík, Tomáš Toufar

  • Parameterized Resiliency Problems via Integer Linear Programming Jason Crampton, Gregory Gutin, Rémi Watrigant

    TCS

  • Voting and Bribing in Single-exponential Time Dušan Knop, Matthias Mnich

2016

  • Graver Basis Optimization (a short article in May 2016 issue of FPT News: The Parameterized Complexity Newsletter)

  • Scheduling meets n-fold Integer Programming Dušan Knop

2015

  • Fixed parameter complexity of distance constrained labeling and uniform channel assignment problems Jiří Fiala, Tomáš Gavenčiak, Dušan Knop, Jan Kratochvíl

    DAM

  • Extension Complexity, MSO Logic, and Treewidth Petr Kolman, Hans Raj Tiwary

  • Extended Formulation for CSP that is Compact for Instances of Bounded Treewidth Petr Kolman

links

I passed on to you what was most important and what had also been passed on to me. Christ died for our sins, just as the Scriptures said. He was buried, and he was raised from the dead on the third day, just as the Scriptures said. He was seen by Peter and then by the Twelve. After that, he was seen by more than 500 of his followers at one time, most of whom are still alive, though some have died. Then he was seen by James and later by all the apostles. Last of all, as though I had been born at the wrong time, I also saw him.

Paul of Tarsus, The First Epistle to the Corinthians, likely written no more than five years after Jesus' death (one of the oldest New Testament fragments).

I believe this. If you're curious, feel free to ask!

social