Skip navigation

Zastosuj identyfikator do podlinkowania lub zacytowania tej pozycji: http://hdl.handle.net/20.500.12128/16013
Pełny rekord metadanych
DC poleWartośćJęzyk
dc.contributor.authorKolany, Adam-
dc.date.accessioned2020-09-21T06:18:21Z-
dc.date.available2020-09-21T06:18:21Z-
dc.date.issued1997-
dc.identifier.citationBulletin of the Section of Logic, Vol. 26, no. 1 (1997), s. 12-19pl_PL
dc.identifier.issn2449-836X-
dc.identifier.issn0138-0680-
dc.identifier.urihttp://hdl.handle.net/20.500.12128/16013-
dc.description.abstractGiven a set of propositions, one can consider its inconsistency hypergraph. Then the satisfiability of sets of clauses with respect to that hypergraph (see [1], [6]) turns out to be the usual satisfiability. The problem is which hypergraphs can be obtained from sets of formulas as inconsistency hypergraphs. In the present paper it is shown that this can be done for all hypergraphs with countably many vertices and pairwise incomparable edges. Then, a general method of transforming the combinatorial problems into the satisfiability problem is shown.pl_PL
dc.language.isoenpl_PL
dc.rightsUznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/pl/*
dc.subjecthypergraphpl_PL
dc.subjectsatisfiability problempl_PL
dc.subjectcombinatorial problemspl_PL
dc.titleRepresentation theorems for hypergraph satisfiabilitypl_PL
dc.typeinfo:eu-repo/semantics/articlepl_PL
Pojawia się w kolekcji:Artykuły (WNŚiT)

Pliki tej pozycji:
Plik Opis RozmiarFormat 
Kolany_Representation_theorems_for_hypergraph.pdf269,17 kBAdobe PDFPrzejrzyj / Otwórz
Pokaż prosty rekord


Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons Creative Commons