Publikace projektu
- Prague Seminar on Substructural Logics (2014)
- A lower bound on CNF encodings of the at-most-one constraint (2017)
- A version of the Loebl-Komlós-Sós conjecture for skewed trees (2018)
- Logic of left variable inclusion and Plonka sums of matrices (2018)
- Term satisfiability in FLew-algebras (2015)
- Neural Networks Between Integer and Rational Weights (2016)
- Cut Languages in Rational Bases (2016)
- Morphism extension classes of countable L-colored graphs (2018)
- A Polynomial-Time Construction of a Hitting Set for Read-once Branching Programs of Width 3 (2021)