Pozice: Vědecký pracovník
Oddělení: Oddělení teoretické informatiky
E-mail: savicky@cs.cas.cz
Pracovna: 423
Publikace
- On CNF formulas irredundant with respect to unit clause propagation (2023)
- Examples of distance magic labelings of the 6-dimensional hypercube (2021)
- Bounds on the size of PC and URC formulas (2020)
- Propagation complete encodings of smooth DNNF theories (2019)
- Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings (2018)
- A lower bound on CNF encodings of the at-most-one constraint (2017)
- Cut Languages in Rational Bases (2016)
- Term satisfiability in FLew-algebras (2015)
- CORElearn-0.9.43 - Classification, Regression, Feature Evaluation and Ordinal Evaluation (2014)
- Boolean functions with a vertex-transitive group of automorphisms (2013)
- Seeding the Default RNG with a Numeric Vector (2012)
- Partitions of the Boolean cube with a vertex-transitive automorphism group (2012)
- Trends in random forests parameters for classification of imbalanced data (2012)
- Boolean Functions with a Simple Certificate for CNF Complexity. (2010)
- Interface and Initialization for WELL19937a Random Number Generator Implemented with 53 Bit Output (2009)
- Spearman's Rank Correlation Test (2009)
- CORElearn - Classification, Regression, Feature Evaluation and Ordinal Evaluation (2009)
- randtoolbox: Toolbox for Pseudo and Quasi Random Number Generation (2009)
- On Product Logic with Truth-Constants (2006)
- A Strong Nonrandom Pattern in Matlab Default Random Number Generator (2006)
- Exploiting Tensor Rank-one Decomposition in Probabilistic Inference (2006)
- On the Influence of the Variable Ordering for Algorithmic Learning using OBDDs (2005)
- A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism (2005)
- An Explicit Polynomial Size Hitting Set for Restricted 1-Branching Programs Width 3 (2005)
- Tensor Rank-One Decomposition of Probability Tables (2005)
- Methods for Multidimensional Event Classification: A Case Study using Images from a Cherenkov Gamma-Ray Telescope (2004)
- Methods for Multidimensional Event Classification: A Case Study (2003)
- Lesk a bída optimálních stromů (2002)
- On determinism versus unambiquous nondeterminism for decision trees (2002)
- Optimally Trained Classification Trees and Occam's Razor (2001)
- Optimální klasifikační stromy (2001)
- On Random Orderings of Variables for Parity Ordered Binary Decision Diagrams (2000)
- A Read-once Lower Bound and a (1,+k) - Hierarchy for Branching Programs (2000)
- Klasifikace pomocí optimálních stromů (2000)
- A Probabilistic Nonequivalence Test for Syntactic (1,+k)-branching Programs (1998)
- The Number of Boolean Functions Computed by Formulas of a Given Size (1998)
- On Functions with Many Good Variable Orderings for Parity OBDDs (1998)
- Representations and Rates of Approximation of Real-Valued Boolean Functions by Neural Networks (1998)
- Some Typical Properties of Large AND/OR Boolean Formulas (1997)
- A Lower Bound on Branching Programs Reading Some Bits Twice (1997)
- Complexity and Probability of Some Boolean Formulas (1997)
- A Large Lower Bound for 1-branching Programs (1996)
- A Hierarchy for (1,+k)-branching programs with respect to k (1996)
- A Lower Bound on Branching Programs Reading Some Bits Twice (1995)
- Výzkum komunikačních procesů při společné činnosti v podmínkávh počítačové sítě (1995)
- Improved Boolean Formulas for the Ramsey Graphs (1995)
- Bent functions and random Boolean formulas (1995)
- On the Bent Boolean Functions That are Symmetric (1994)
- Random Boolean formulas representing any Boolean function with asymptotically equal probability (1990)