Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

satisfiability

Klíčová slova abecedně | Klíčová slova dle četnosti

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

Seznam prací, které mají shodná klíčová slova.

Tuned Sifting in CUDD for Satisfiability Solving
 (Jakub Szymsza)

2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/g6yuf/ | Informatika / | Práce na příbuzné téma

Satisfiability of DQBF Using Binary Decision Diagrams
 (Juraj Síč)

2020, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/prexv/ | Informatika / Teoretická 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

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

Fundamental Properties of Probabilistic Branching-Time Logics
 (Jan Křetínský)

2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/tchsl/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Logiky pro popis vlastností stochastických her
 (Tomáš Laurinčík)

2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/g3u4x/ | Informatika / Teoretická informatika | 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