Filtry
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On Minimum Representations of Matched Formulas (Extended Abstract)
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Integral formulas of the Hilbert, Poincaré-Bertrand, Schwarz and Poisson type for the $beta$-analytic function theory
Pure mathematics
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Replication-Guided Enumeration of Minimal Unsatisfiable Subsets
Computer and information sciences
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Approximate Counting of Minimal Unsatisfiable Subsets
Computer and information sciences
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
MUST: Minimal Unsatisfiable Subsets Enumeration Tool
Computer and information sciences
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Financial and Insurance Formulas
BA - Obecná matematika
- 2010 •
- B
Rok uplatnění
B - Odborná kniha
Complexity and Probability of Some Boolean Formulas.
BA - Obecná matematika
- 1998 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Tunable Online MUS/MSS Enumeration
IN - Informatika
- 2016 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 149