- Třídy booleovských formulí s efektivně řešitelným SATem2010 | Matematicko-fyzikální fakulta
- Zesílení konzistence po cestě pro řešení SATu2008 | Matematicko-fyzikální fakulta
- Řešené těžkých SAT instancí pomocí hladového rozkladu na kliky2007 | Matematicko-fyzikální fakulta
- Efektivní heuristika pro SAT založená na znalosti komponent souvislosti grafu problému2009 | Matematicko-fyzikální fakulta
- Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT2016 | Matematicko-fyzikální fakulta
- Šaty dělají člověka, uniforma sestru2014 | Fakulta humanitních studií
- Známé a nové třídy zobecněných Hornovských formulí s rozpoznáváním a SATem v polynomiálním čase2005 | Matematicko-fyzikální fakulta
- Reinforced Encoding for Planning as SATPublikace bez příslušnosti k fakultě
- Úplatný soudce u Iuvenala (Sat. XIII 1 - 4).2006 | Právnická fakulta
- A SAT attack on the Erdős-Szekeres conjecture +12017 | Matematicko-fyzikální fakulta
- Exploiting Global Properties in Path-Consistency Applied on SAT2011 | Matematicko-fyzikální fakulta
- On the gap between the complexity of SAT and minimization for certain classes of boolean formulas2014 | Matematicko-fyzikální fakulta
- A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints2012 | Matematicko-fyzikální fakulta
- Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks2018 | Matematicko-fyzikální fakulta
- A SEPARATOR THEOREM FOR HYPERGRAPHS AND A CSP-SAT ALGORITHM2021 | Matematicko-fyzikální fakulta
- SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition2018 | Matematicko-fyzikální fakulta
- Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors2015 | Matematicko-fyzikální fakulta
- Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding A Novel SAT-based Optimal MAPF Solver2017 | Matematicko-fyzikální fakulta
- Efficient SAT Approach to Multi-Agent Path Finding under the Sum of Costs Objective2016 | Matematicko-fyzikální fakulta
- Variants of independence detection in SAT-based optimal multi-agent path finding2017 | Matematicko-fyzikální fakulta
- On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective2019 | Matematicko-fyzikální fakulta
- Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs2014 | Matematicko-fyzikální fakulta
- O publikaci a citaci judikatury aneb proč je někdy judikatura jako císařovy nové šaty +12005 | Právnická fakulta
- Metamorfózy těla šatem2001 | Filozofická fakulta
- Film jako deník. O šatech a městech.2002 | Filozofická fakulta
- Nejen šaty dělají člověka2006 | Pedagogická fakulta
- Návraty do starých dobrých šatů2006 | Pedagogická fakulta
- A note on SAT algorithms and proof complexity2012 | Matematicko-fyzikální fakulta