A PROOF COMPLEXITY CONJECTURE AND THE INCOMPLETENESS THEOREM von KRAJÍČEK, JAN

Volltext

Comparative Analysis of Volatile Defensive Secretions of Three Species of Pyrrhocoridae (Insecta: Heteroptera) by Gas Chromatography-Mass Spectrometric Method von Krajicek, Jan, Havlikova, Martina, Bursova, Miroslava, Ston, Martin, Cabala, Radomir, Exnerova, Alice, Stys, Pavel, Bosakova, Zuzana

Volltext

Small Circuits and Dual Weak PHP in the Universal Theory of p-time Algorithms von Krajíček, Jan

Volltext

ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS von KRAJÍČEK, JAN

Volltext

Proof Complexity von Krajicek, Jan

Volltext

A limitation on the KPT interpolation von Jan Krajíček

Volltext

A feasible interpolation for random resolution von Jan Krajicek

Volltext

Ontogenetic change in effectiveness of chemical defence against different predators in Oxycarenus true bugs von Raška, Jan, Chalušová, Kateřina, Krajiček, Jan, Čabala, Radomír, Bosáková, Zuzana, Štys, Pavel, Exnerová, Alice

Volltext

Consistency of circuit lower bounds with bounded theories von Jan Bydzovsky, Jan Krajicek, Igor C. Oliveira

Volltext

On the computational complexity of finding hard tautologies von Krajíček, Jan

Volltext

Larvae of pyrrhocorid true bugs are not to spiders’ taste: putative Müllerian mimicry von Raška, Jan, Krajíček, Jan, Bosáková, Zuzana, Štys, Pavel, Exnerová, Alice

Volltext

Unprovability of circuit upper bounds in Cook's theory PV von Jan Krajicek, Igor C. Oliveira

Volltext

A note on SAT algorithms and proof complexity von Krajicek, Jan

Volltext

CONSISTENCY OF CIRCUIT EVALUATION, EXTENDED RESOLUTION AND TOTAL NP SEARCH PROBLEMS von KRAJÍČEK, JAN

Volltext

Mechanisms of Color Production in a Highly Variable Shield-Back Stinkbug, Tectocoris diopthalmus (Heteroptera: Scutelleridae), and Why It Matters von Fabricant, Scott A, Kemp, Darrell J, Krajícek, Jan, Bosáková, Zuzana, Herberstein, Marie E

Volltext

An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams von Krajíček, Jan

Volltext

National peripheries and cultural heritage: community building on the european margins von Albuquerque, Pedro, García Fernández, Francisco José, Janáč, Jiří, Krajíček, Jan

Volltext

A saturation property of structures obtained by forcing with a compact family of random variables von Krajicek, Jan

Volltext

Capillary electrophoresis of pterin derivatives responsible for the warning coloration of Heteroptera von KRAJICEK, Jan, KOZLIK, Petr, EXNEROVA, Alice, STYS, Pavel, BURSOVA, Miroslava, CABALA, Radomír, BOSAKOVA, Zuzana

Volltext

On the existence of strong proof complexity generators von Krajicek, Jan

Volltext