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:
Locally Satisfiable Formulas
Goto
Sponge
Distinct
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 present new structural and algorithmic results on formulas without small subsets of contradicting clauses.
We present new structural and algorithmic results on formulas without small subsets of contradicting clauses.
(en)
Dokážeme nové strukturální a algoritmické výsledky o formulích bez malých množin odporujících si klauzulí.
(cs)
Title
Locally Satisfiable Formulas
Locally Satisfiable Formulas
(en)
Lokálně splnitelné formule
(cs)
skos:prefLabel
Locally Satisfiable Formulas
Locally Satisfiable Formulas
(en)
Lokálně splnitelné formule
(cs)
skos:notation
RIV/00216208:11320/04:00003340!RIV/2005/MSM/113205/N
http://linked.open.../vavai/riv/strany
323;332
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(LN00A056), Z(MSM 113200005)
http://linked.open...vai/riv/dodaniDat
2005
http://linked.open...aciTvurceVysledku
Kráľ, Daniel
http://linked.open.../riv/druhVysledku
D - Článek ve sborníku
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
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku
571717
http://linked.open...ai/riv/idVysledku
RIV/00216208:11320/04:00003340
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
Locally;Satisfiable;Formulas
(en)
http://linked.open.../riv/klicoveSlovo
Satisfiable
Formulas
Locally
http://linked.open...ontrolniKodProRIV
[068EE2E0D63D]
http://linked.open...v/mistoKonaniAkce
New York
http://linked.open...i/riv/mistoVydani
New York
http://linked.open...i/riv/nazevZdroje
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004
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
Institute of Theoretical Computer Science (Center of Young Science)
http://linked.open...UplatneniVysledku
2004
http://linked.open...iv/tvurceVysledku
Kráľ, Daniel
http://linked.open...vavai/riv/typAkce
WRD - Světová
http://linked.open.../riv/zahajeniAkce
2004-01-01
(
xsd:date
)
http://linked.open...n/vavai/riv/zamer
http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20113200005
number of pages
10
(
xsd:int
)
http://purl.org/ne...btex#hasPublisher
SIAM press
http://localhost/t...ganizacniJednotka
11320
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