Předměty
Publikace
- Unique key Horn functions2022 | Matematicko-fyzikální fakulta
- Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)2017 | Matematicko-fyzikální fakulta
- Generating Models of a Matched Formula With a Polynomial Delay2016 | Matematicko-fyzikální fakulta
- Generating models of a matched formula with a polynomial delay2016 | Matematicko-fyzikální fakulta
- A decomposition method for CNF minimality proofs2013 | Matematicko-fyzikální fakulta
- Properties of SLUR Formulae2012 | Matematicko-fyzikální fakulta
- Boolean functions with long prime implicants +12012 | Matematicko-fyzikální fakulta
- Analyza DNA Microarray pomocí booleovských technik2011 | Matematicko-fyzikální fakulta
- Podtřída Hornovských CNF optimálně komprimovatelná v polynomiálním čase2010 | Matematicko-fyzikální fakulta
- Skrytě intervalová rozšíření částečně definovaných booleovských funkcí2007 | Matematicko-fyzikální fakulta
Loading network view...