FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1618174268> ?p ?o ?g. }

• W1618174268 endingPage "426" @default.
• W1618174268 startingPage "412" @default.
• W1618174268 abstract "A Boolean constraint satisfaction instance is a set of constraint applications where the allowed constraints are drawn from a fixed set C of Boolean functions. We consider the problem of determining whether two given constraint satisfaction instances are equivalent and prove a dichotomy theorem by showing that for all finite sets C of constraints, this problem is either polynomial-time solvable or coNP-complete, and we give a simple criterion to determine which case holds. A more general problem addressed in this paper is the isomorphism problem, the problem of determining whether there exists a renaming of the variables that makes two given constraint satisfaction instances equivalent in the above sense. We prove that this problem is coNP-hard if the corresponding equivalence problem is coNP-hard, and polynomial-time many-one reducible to the graph isomorphism problem in all other cases." @default.
• W1618174268 created "2016-06-24" @default.
• W1618174268 creator A5008982209 @default.
• W1618174268 creator A5015972134 @default.
• W1618174268 creator A5023193609 @default.
• W1618174268 creator A5071803397 @default.
• W1618174268 date "2002-01-01" @default.
• W1618174268 modified "2023-09-25" @default.
• W1618174268 title "Equivalence and Isomorphism for Boolean Constraint Satisfaction" @default.
• W1618174268 cites W1571873445 @default.
• W1618174268 cites W157911545 @default.
• W1618174268 cites W1595849444 @default.
• W1618174268 cites W1972004026 @default.
• W1618174268 cites W1973023438 @default.
• W1618174268 cites W1997240046 @default.
• W1618174268 cites W2052936500 @default.
• W1618174268 cites W2058277150 @default.
• W1618174268 cites W2068190866 @default.
• W1618174268 cites W2089546742 @default.
• W1618174268 cites W2091345559 @default.
• W1618174268 cites W2093712769 @default.
• W1618174268 cites W2117290960 @default.
• W1618174268 cites W2166566648 @default.
• W1618174268 cites W2494517118 @default.
• W1618174268 doi "https://doi.org/10.1007/3-540-45793-3_28" @default.
• W1618174268 hasPublicationYear "2002" @default.
• W1618174268 type Work @default.
• W1618174268 sameAs 1618174268 @default.
• W1618174268 citedByCount "25" @default.
• W1618174268 countsByYear W16181742682016 @default.
• W1618174268 countsByYear W16181742682017 @default.
• W1618174268 countsByYear W16181742682022 @default.
• W1618174268 crossrefType "book-chapter" @default.
• W1618174268 hasAuthorship W1618174268A5008982209 @default.
• W1618174268 hasAuthorship W1618174268A5015972134 @default.
• W1618174268 hasAuthorship W1618174268A5023193609 @default.
• W1618174268 hasAuthorship W1618174268A5071803397 @default.
• W1618174268 hasBestOaLocation W16181742682 @default.
• W1618174268 hasConcept C105795698 @default.
• W1618174268 hasConcept C11413529 @default.
• W1618174268 hasConcept C114614502 @default.
• W1618174268 hasConcept C115624301 @default.
• W1618174268 hasConcept C118615104 @default.
• W1618174268 hasConcept C132180345 @default.
• W1618174268 hasConcept C132525143 @default.
• W1618174268 hasConcept C137105694 @default.
• W1618174268 hasConcept C183046576 @default.
• W1618174268 hasConcept C185592680 @default.
• W1618174268 hasConcept C199622910 @default.
• W1618174268 hasConcept C203436722 @default.
• W1618174268 hasConcept C203776342 @default.
• W1618174268 hasConcept C24858836 @default.
• W1618174268 hasConcept C2524010 @default.
• W1618174268 hasConcept C2776036281 @default.
• W1618174268 hasConcept C2780069185 @default.
• W1618174268 hasConcept C33923547 @default.
• W1618174268 hasConcept C44616089 @default.
• W1618174268 hasConcept C49937458 @default.
• W1618174268 hasConcept C61665672 @default.
• W1618174268 hasConcept C8010536 @default.
• W1618174268 hasConceptScore W1618174268C105795698 @default.
• W1618174268 hasConceptScore W1618174268C11413529 @default.
• W1618174268 hasConceptScore W1618174268C114614502 @default.
• W1618174268 hasConceptScore W1618174268C115624301 @default.
• W1618174268 hasConceptScore W1618174268C118615104 @default.
• W1618174268 hasConceptScore W1618174268C132180345 @default.
• W1618174268 hasConceptScore W1618174268C132525143 @default.
• W1618174268 hasConceptScore W1618174268C137105694 @default.
• W1618174268 hasConceptScore W1618174268C183046576 @default.
• W1618174268 hasConceptScore W1618174268C185592680 @default.
• W1618174268 hasConceptScore W1618174268C199622910 @default.
• W1618174268 hasConceptScore W1618174268C203436722 @default.
• W1618174268 hasConceptScore W1618174268C203776342 @default.
• W1618174268 hasConceptScore W1618174268C24858836 @default.
• W1618174268 hasConceptScore W1618174268C2524010 @default.
• W1618174268 hasConceptScore W1618174268C2776036281 @default.
• W1618174268 hasConceptScore W1618174268C2780069185 @default.
• W1618174268 hasConceptScore W1618174268C33923547 @default.
• W1618174268 hasConceptScore W1618174268C44616089 @default.
• W1618174268 hasConceptScore W1618174268C49937458 @default.
• W1618174268 hasConceptScore W1618174268C61665672 @default.
• W1618174268 hasConceptScore W1618174268C8010536 @default.
• W1618174268 hasLocation W16181742681 @default.
• W1618174268 hasLocation W16181742682 @default.
• W1618174268 hasLocation W16181742683 @default.
• W1618174268 hasOpenAccess W1618174268 @default.
• W1618174268 hasPrimaryLocation W16181742681 @default.
• W1618174268 hasRelatedWork W1618174268 @default.
• W1618174268 hasRelatedWork W2012141606 @default.
• W1618174268 hasRelatedWork W2045729033 @default.
• W1618174268 hasRelatedWork W2178160012 @default.
• W1618174268 hasRelatedWork W2784687883 @default.
• W1618174268 hasRelatedWork W2950285192 @default.
• W1618174268 hasRelatedWork W3122034878 @default.
• W1618174268 hasRelatedWork W38226901 @default.
• W1618174268 hasRelatedWork W2137855809 @default.
• W1618174268 hasRelatedWork W2183565733 @default.
• W1618174268 isParatext "false" @default.

• next