Práce na stejné téma (mají shodná klíčová slova):
splnitelnostKlíčová slova abecedně | Klíčová slova dle četnosti
Problém splnitelnosti pro pravděpodobnostní temporální logiky
(Miroslav Chodil)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zn1az/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Evoluční algoritmy v úloze booleovské splnitelnosti
(Silvester Serédi)2016, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//8q27zs// | Informační technologie / | Práce na příbuzné téma
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice
(Martin Jonáš)2019, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/cg101/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Zdravotní gramotnost u dospělých
(Martina TOMEČKOVÁ)2017, Diplomová práce, Fakulta zdravotnických věd / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//k2091h// | Ošetřovatelství / Ošetřovatelská péče v interních oborech | Práce na příbuzné téma
SMT Solving for the Theory of Bit-Vectors
(Martin Jonáš)2016, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ovulj/ | Informatika / | Práce na příbuzné téma
Efficient Abstraction Refinement for BDD-based SMT Solvers
(Tereza Schwarzová)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/j6pbe/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma
Algoritmy pro hledání maximální splnitelné množiny omezení
(Jaroslav Bendík)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nwqu4/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Efekt snížení dávky dusíku při použití hnojiv s inhibitory
(Jana Brabcová)2023, Bakalářská práce, Agronomická fakulta / Mendelova univerzita v Brně
• http://theses.cz/id//bew7qg// | Fytotechnika / | Práce na příbuzné téma
Softwarová podpora výuky predmetu Matematická logika (Aplikace je urcena pro praktické procvicování základu výrokové logiky)
(Radek LIPENSKÝ)2018, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//sfhcr6// | Informatika / Aplikovaná informatika | Práce na příbuzné téma
The satisfiability problem for Probabilistic CTL
(Chodil Chodil)2022, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/flkcr/ | Teoretická informatika / | Práce na příbuzné téma