About: On Hierarchies over the SLUR Class

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: On Hierarchies over the SLUR Class 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)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Boolean_Balyo_etal.pdf
Description	SLUR is a class of the CNF formulae on which the single lookahead unit resolution algorithm for satisﬁability (SAT) testing never fails. It is known that the SLUR class contains classes of Horn, hidden Horn, (hidden) extended Horn and balanced formulae as a subclass. In recent paper it was proven that the SLUR class contains all canonical formulae. In this paper we will extend this result by showing it sufﬁces that all prime implicates can be derived in one resolution step from input formula. We will also generalize previous hierarchy called SLUR(i) which is built on top of the SLUR class. SLUR is a class of the CNF formulae on which the single lookahead unit resolution algorithm for satisﬁability (SAT) testing never fails. It is known that the SLUR class contains classes of Horn, hidden Horn, (hidden) extended Horn and balanced formulae as a subclass. In recent paper it was proven that the SLUR class contains all canonical formulae. In this paper we will extend this result by showing it sufﬁces that all prime implicates can be derived in one resolution step from input formula. We will also generalize previous hierarchy called SLUR(i) which is built on top of the SLUR class. (en)
Title	On Hierarchies over the SLUR Class On Hierarchies over the SLUR Class (en)
skos:prefLabel	On Hierarchies over the SLUR Class On Hierarchies over the SLUR Class (en)
skos:notation	RIV/00216208:11320/12:10126646!RIV13-GA0-11320___
http://linked.open...avai/riv/aktivita	I P S
http://linked.open...avai/riv/aktivity	I, P(GAP202/10/1188), S
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Kučera, Petr Vlček, Václav Gurský, Štefan Balyo, Tomáš
http://linked.open.../riv/druhVysledku	O - Ostatní výsledky nezařaditelné do žádného z výše uvedených druhů výsledku
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	156248
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/12:10126646
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	SLUR; CNF; Satisfiability (en)
http://linked.open.../riv/klicoveSlovo	SLUR CNF Satisfiability
http://linked.open...ontrolniKodProRIV	[09BDC8290579]
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	4 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	KnowSched: Knowledge Techniques in Scheduling
http://linked.open...UplatneniVysledku	2012
http://linked.open...iv/tvurceVysledku	Kučera, Petr Vlček, Václav Balyo, Tomáš Gurský, Štefan
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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software