- Encode Arabic +1Publication without faculty affiliation
- An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors2012 | Faculty of Mathematics and Physics
- Reinforced Encoding for Planning as SATPublication without faculty affiliation
- Encoding HTN Planning as a Dynamic CSP +12005 | Faculty of Mathematics and Physics
- On the evolution of syntactic information encoded by BERT's contextualized representationsPublication without faculty affiliation
- A Lower Bound on CNF Encodings of the At-Most-One Constraint2017 | Faculty of Mathematics and Physics
- A lower bound on CNF encodings of the at-most-one constraint2019 | Faculty of Mathematics and Physics
- Encoding of Planning Problems and their Optimizations in Linear Logic +12009 | Faculty of Mathematics and Physics
- Extracting Syntactic Trees from Transformer Encoder Self-Attentions2018 | Faculty of Mathematics and Physics
- Propagation complete encodings of smooth DNNF theories2022 | Faculty of Mathematics and Physics
- Encoding of Planning Problems and Their Optimizations in Linear Logic2009 | Faculty of Mathematics and Physics
- Hrushovski's Encoding and ω-Categorical CSP Monsters2020 | Faculty of Mathematics and Physics
- Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors2015 | Faculty of Mathematics and Physics
- Do Explicit Alignments Robustly Improve Multilingual Encoders?Publication without faculty affiliation
- Simple Direct Propositional Encoding of Cooperative Path Finding Simplified Yet More2014 | Faculty of Mathematics and Physics
- Are genes encoding proteoglycans really associated with the risk of anterior cruciate ligament rupture?2017 | Faculty of Physical Education and Sport
- Digital Editing of Medieval Manuscripts: Encoding, Tagging and Online PublishingPublication without faculty affiliation
- No One SATPlan Encoding To Rule Them All2015 | Faculty of Mathematics and Physics
- Epidemic territorial spread of IncP-2-type VIM-2 carbapenemase-encoding megaplasmids in nosocomial Pseudomonas aeruginosa populations2021 | Faculty of Medicine in Pilsen
- Paramagnetic encoding of molecules2022 | First Faculty of Medicine, Faculty of Science, Central Library of Charles University
- Enhancing Coherence in Academic Discourse: On the Role of Keywords in Encoding Themes of Higher Textual Units2021 | Faculty of Education
- GABA-a Receptor - Changes in the Expression of Messenger RNAs Encoding for Receptor Subunits Associated with Development of Tolerance and Dependence on Benzodiazepines2000 | Third Faculty of Medicine
- Evaluation of strains derived from Escherichia coli W as hosts for the expression of PGA-encoding gene cloned on the recombinant plasmid2001 | Publication without faculty affiliation
- On Propositional Encodings of Cooperative Path-finding2012 | Faculty of Mathematics and Physics
- Property Protection in the Vladislav's Land Encoded Rules2001 | Faculty of Law
- Spike encoding mechanisms in the sound localization patway2005 | First Faculty of Medicine
- Characterization of pKP-M1144, a Novel ColE1-Like Plasmid Encoding IMP-8, GES-5, and BEL-1 beta-Lactamases, from a Klebsiella pneumoniae Sequence Type 252 Isolate2015 | Faculty of Medicine in Pilsen