Filtry
Representations of monotone Boolean functions by linear programs
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
The space complexity of cutting planes refutations
BA - Obecná matematika
- 2015 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Semantic versus syntactic cutting planes
BA - Obecná matematika
- 2016 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On semantic cutting planes with very small coefficients
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS
BD - Teorie informace
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
Random formulas, monotone circuits, and interpolation
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
Lifting with simple gadgets and applications to circuit and proof complexity
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
The effect of thermal treatment of birch wood on the cutting power of plain milling
JP - Průmyslové procesy a zpracování
- 2015 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Efficient Algorithm for Regularized Risk Minimization
JD - Využití počítačů, robotika a její aplikace
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
Space complexity in polynomial calculus
BA - Obecná matematika
- 2012 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 81 036