- Galatians in New Czech Translations (B21, ČSP) +12011 | Protestant Theological Faculty
- New Conditions for Taylor Varieties and CSP2010 | Faculty of Mathematics and Physics
- The new translation of the epistle to the Hebrews in new Czech Bible translations (Bible 21 and ČSP)2009 | Protestant Theological Faculty
- Homomorphisms, Dualities and CSP2008 | Faculty of Mathematics and Physics
- CSP dichotomy for special triads2009 | Faculty of Mathematics and Physics
- Cellulose-based CSPs as effective tools for enantioselective separation of structurally different disubstituted binaphthyls2007 | Faculty of Science
- Study of retention and enantioseparation of (plusminus)-cloprostenol on teicoplanin aglycone-based CSP in HPLC2006 | Faculty of Science
- Forbidden lifts (NP and CSP for combinatorists)2008 | Faculty of Mathematics and Physics
- The CSP dichotomy holds for digraphs with no sources and no sinks ( A positive answer to a conjecture of Bang-Jensen and Hell)2009 | Faculty of Mathematics and Physics
- On Planar Boolean CSP2015 | Faculty of Mathematics and Physics
- Windows NT 4.0 CSP Implementation AnalysisPublication without faculty affiliation
- Comparison of HPLC enantioseparation of substituted binaphthyls on CD-, polysaccharide- and synthetic polymer-based chiral stationary phases2010 | Faculty of Science
- Absorption in Universal Algebra and CSP2017 | Faculty of Mathematics and Physics
- Locally consistent constraint satisfaction problems2005 | Faculty of Mathematics and Physics
- A SEPARATOR THEOREM FOR HYPERGRAPHS AND A CSP-SAT ALGORITHM2021 | Faculty of Mathematics and Physics
- Hrushovski's Encoding and ω-Categorical CSP Monsters2020 | Faculty of Mathematics and Physics
- On the State Management in Plan-Space Planning from CSP Perspective2006 | Faculty of Mathematics and Physics
- Combinatorial Gap Theorem and Reductions between Promise CSPs2022 | Faculty of Mathematics and Physics
- Limited Full Arc Consistency for Weighted CSP2006 | Faculty of Mathematics and Physics
- Encoding HTN Planning as a Dynamic CSP2005 | Faculty of Mathematics and Physics
- On the Reduction of the CSP Dichotomy Conjecture to Digraphs2013 | Faculty of Mathematics and Physics
- Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP2021 | Faculty of Mathematics and Physics
- Reformulating Constraint Models for Classical Planning2008 | Charles University
- Locally consistent constraint satisfaction problems with binary constraints +12005 | Faculty of Mathematics and Physics
- SMALL PROMISE CSPS THAT REDUCE TO LARGE CSPS2022 | Faculty of Mathematics and Physics
- Weisfeiler-Leman Invariant Promise Valued CSPs2022 | Faculty of Mathematics and Physics
- An asymptotically optimal linear-time algorithm for locally consistent constraint satisfaction problems +12005 | Faculty of Mathematics and Physics