- Robust Satisfiability of Constraint Satisfaction Problems2012 | Matematicko-fyzikální fakulta
- Základní stavy triangulací n-uhelníku2010 | Matematicko-fyzikální fakulta
- Between Path-Consistency and Higher Order Consistencies in Boolean Satisfiability2011 | Matematicko-fyzikální fakulta
- Propositional Satisfiability Benchmarks Constructed from Multi-Robot Path Planning on Graphs2013 | Matematicko-fyzikální fakulta
- Adaptace konzistence po cestě pro booleovskou splnitelnost2010 | Matematicko-fyzikální fakulta
- Adaptace konzistence po cestě pro booleovskou splnitelnost: teoretické představení konceptu2010 | Matematicko-fyzikální fakulta
- Jak jsou mladí čeští lékaři spokojeni s povoláním?2003 | 3. lékařská fakulta
- Můžeme být spokojeni s kvalitou laboratorních vyšetření a její kontrolou?2006 | 1. lékařská fakulta
- Teorie a praxe uplatňování a uspokojování prioritních pohledávek v konkursu2022 | Právnická fakulta
- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Matematicko-fyzikální fakulta
- A variety of Steiner loops satisfying Moufang's theorem: a solution to Rajah's Problem2020 | Matematicko-fyzikální fakulta
- Komunikace s rodiči v kontextu syndromu vyhoření: Rozdíl mezi vyhořelými a spokojenými učiteli2018 | Pedagogická fakulta
- Globální filtrace pro splňování cílů v sítích se vzájemným vylučováním2008 | Matematicko-fyzikální fakulta
- Globální filtrace pro splňování cílů v sítích vzájemného vyloučení2008 | Matematicko-fyzikální fakulta
- A Simple Approach to Solving Cooperative Path-Finding as Propositional Satisfiability Works Well2014 | Matematicko-fyzikální fakulta
- Co soudí o důležitosti vybraných sociálních faktorů osoby starší 65 let a jak jsou s nimi spokojeny?2013 | Lékařská fakulta v Plzni
- Numerické řešení rovnic konvekce-difúze pomocí technik upwindingu splňujících diskrétní princip maxima2006 | Matematicko-fyzikální fakulta
- Lessons Learned from the Effort to Solve Cooperative Path-Finding Optimally: Reductions to Propositional Satisfiability2014 | Matematicko-fyzikální fakulta
- Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective2016 | Matematicko-fyzikální fakulta
- SLT a jak jsem s ní spokojeniPublikace bez příslušnosti k fakultě
- Spisovatel ne zcela neukojený2004 | Filozofická fakulta
- On quasigroups satisfying Stein's third law2021 | Matematicko-fyzikální fakulta
- Locally Satisfiable Formulas2004 | Matematicko-fyzikální fakulta
- Finding Minimum Satisfying Assignments of Boolean FormulasPublikace bez příslušnosti k fakultě
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Matematicko-fyzikální fakulta
- Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability2019 | Matematicko-fyzikální fakulta
- Jak učitelé vnímají komunikaci s rodiči: Spokojení vs. vyhořelí2020 | Pedagogická fakulta
- Camerata Bern tentokrát příliš nepřesvědčila2007 | Ústřední knihovna
- Some classes of Boolean formulae with polynomial time satisfiability testing.2002 | Publikace bez příslušnosti k fakultě
- Můžeme být spokojeni s kvalitou laboratorních vyšetření a její kontrolou?2006 | Lékařská fakulta v Hradci Králové