Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
A lower bound on the size of resolution proofs of the Ramsey theorem
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
, within Data Space :
linked.opendata.cz
associated with source
document(s)
Type:
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description
We prove an exponential lowerbound on the lengths of resolutionproofs of propositions expressing the finite Ramseytheorem for pairs.
We prove an exponential lowerbound on the lengths of resolutionproofs of propositions expressing the finite Ramseytheorem for pairs.
(en)
Title
A lower bound on the size of resolution proofs of the Ramsey theorem
A lower bound on the size of resolution proofs of the Ramsey theorem
(en)
skos:prefLabel
A lower bound on the size of resolution proofs of the Ramsey theorem
A lower bound on the size of resolution proofs of the Ramsey theorem
(en)
skos:notation
RIV/67985840:_____/12:00377483!RIV13-AV0-67985840
http://linked.open...avai/predkladatel
Matematický ústav AV ČR, v. v. i.
http://linked.open...avai/riv/aktivita
I
P
http://linked.open...avai/riv/aktivity
I, P(GBP202/12/G061), P(IAA100190902)
http://linked.open...iv/cisloPeriodika
14-15
http://linked.open...vai/riv/dodaniDat
2013
http://linked.open...aciTvurceVysledku
Pudlák, Pavel
http://linked.open.../riv/druhVysledku
J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju
S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele
Matematický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku
120287
http://linked.open...ai/riv/idVysledku
RIV/67985840:_____/12:00377483
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
computational complexity; Ramsey theorem; resolution proofs
(en)
http://linked.open.../riv/klicoveSlovo
resolution proofs
computational complexity
Ramsey theorem
http://linked.open...odStatuVydavatele
NL - Nizozemsko
http://linked.open...ontrolniKodProRIV
[398E594E74E2]
http://linked.open...i/riv/nazevZdroje
Information Processing Letters
http://linked.open...in/vavai/riv/obor
BA
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
1
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Center of excellence - Institute for theoretical computer science (CE-ITI)
Mathematical logic, complexity, and algorithms
http://linked.open...UplatneniVysledku
2012
http://linked.open...v/svazekPeriodika
112
http://linked.open...iv/tvurceVysledku
Pudlák, Pavel
http://linked.open...ain/vavai/riv/wos
000305726800009
issn
0020-0190
number of pages
2
(
xsd:int
)
http://bibframe.org/vocab/doi
10.1016/j.ipl.2012.05.004
Faceted Search & Find service v1.16.118 as of Jun 21 2024
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software