Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Kraj{\'{i}}{\v{c}}ek, Jan"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A note on SAT algorithms and proof complexity
Jan Krajíc̑ek
Information Processing Letters
112
(12), 2012, pp. 490-493
Substitutions into propositional tautologies
Jan Krajíc̑ek
Information Processing Letters
101
(4), 2007, pp. 163-167
Lower bounds for a proof system with an exponential speed-up over constant-depth Frege systems and over polynomial calculus
Jan Krajíc̑ek
Lecture Notes in Computer Science
1295
, 1997, pp. 85-90
Some consequences of cryptographical conjectures for
S_2^1
and EF
Jan Krajíc̑ek
,
Pavel Pudlák
Lecture Notes in Computer Science
960
, 1995, pp. 210-220