- Robust Satisfiability of Constraint Satisfaction Problems2012 | Faculty of Mathematics and Physics
- Satisfying states of triangulations of a convex n-gon2010 | Faculty of Mathematics and Physics
- Between Path-Consistency and Higher Order Consistencies in Boolean Satisfiability2011 | Faculty of Mathematics and Physics
- Propositional Satisfiability Benchmarks Constructed from Multi-Robot Path Planning on Graphs2013 | Faculty of Mathematics and Physics
- An Adaptation of Path Consistency for Boolean Satisfiability2010 | Faculty of Mathematics and Physics
- An Adaptation of Path Consistency for Boolean Satisfiability: a Theoretical View of the Concept2010 | Faculty of Mathematics and Physics
- How satisfied are young Czech physicians in their profession?2003 | Third Faculty of Medicine
- Could the quality of laboratory methods and its assessement satisfy us?2006 | First Faculty of Medicine
- The theory and praxis of the enforcement and satisfying of the priority claims in bankruptcy proceedings2022 | Faculty of Law
- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics
- A variety of Steiner loops satisfying Moufang's theorem: a solution to Rajah's Problem2020 | Faculty of Mathematics and Physics
- Communication with Parents in the Context of Burnout Syndrome: The Difference Between Spent and Satisfied Teachers2018 | Faculty of Education
- A Global Filtration for Satisfying Goals in Mutual Exclusion Networks +12008 | Faculty of Mathematics and Physics
- A Simple Approach to Solving Cooperative Path-Finding as Propositional Satisfiability Works Well2014 | Faculty of Mathematics and Physics
- What do persons aged 65 years and over think about the importance of selected social factors and how are they satisfied with them?2013 | Faculty of Medicine in Pilsen
- Numerical solution of convection-diffusion equations using upwinding techniques satisfying the discrete maximum principle2006 | Faculty of Mathematics and Physics
- Lessons Learned from the Effort to Solve Cooperative Path-Finding Optimally: Reductions to Propositional Satisfiability2014 | Faculty of Mathematics and Physics
- Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective2016 | Faculty of Mathematics and Physics
- SLT - are we satisfied?Publication without faculty affiliation
- Writer Not Quite Satisfied2004 | Faculty of Arts
- On quasigroups satisfying Stein's third law2021 | Faculty of Mathematics and Physics
- Locally Satisfiable Formulas2004 | Faculty of Mathematics and Physics
- Finding Minimum Satisfying Assignments of Boolean FormulasPublication without faculty affiliation
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics
- Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability2019 | Faculty of Mathematics and Physics
- How teachers perceive communication with parents: Satisfied vs. burned-out2020 | Faculty of Education
- Camerata Bern did not satisfy this time2007 | Central Library of Charles University
- Some classes of Boolean formulae with polynomial time satisfiability testing.2002 | Publication without faculty affiliation
- Could the quality of laboratory methods and its assessement satisfy us?2006 | Faculty of Medicine in Hradec Králové