Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950285192> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2950285192 abstract "A Boolean constraint satisfaction instance is a conjunction of constraint applications, where the allowed constraints are drawn from a fixed set B 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 sets C of allowed 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.
- W2950285192 created "2019-06-27" @default.
- W2950285192 creator A5008982209 @default.
- W2950285192 creator A5016664681 @default.
- W2950285192 creator A5023193609 @default.
- W2950285192 creator A5071803397 @default.
- W2950285192 date "2002-02-25" @default.
- W2950285192 modified "2023-09-27" @default.
- W2950285192 title "Equivalence and Isomorphism for Boolean Constraint Satisfaction" @default.
- W2950285192 cites W1485836178 @default.
- W2950285192 cites W1972004026 @default.
- W2950285192 cites W1973023438 @default.
- W2950285192 cites W1997240046 @default.
- W2950285192 cites W2023364974 @default.
- W2950285192 cites W2041756370 @default.
- W2950285192 cites W2052936500 @default.
- W2950285192 cites W2056277969 @default.
- W2950285192 cites W2058277150 @default.
- W2950285192 cites W2089546742 @default.
- W2950285192 cites W2093712769 @default.
- W2950285192 cites W2116634999 @default.
- W2950285192 hasPublicationYear "2002" @default.
- W2950285192 type Work @default.
- W2950285192 sameAs 2950285192 @default.
- W2950285192 citedByCount "3" @default.
- W2950285192 crossrefType "posted-content" @default.
- W2950285192 hasAuthorship W2950285192A5008982209 @default.
- W2950285192 hasAuthorship W2950285192A5016664681 @default.
- W2950285192 hasAuthorship W2950285192A5023193609 @default.
- W2950285192 hasAuthorship W2950285192A5071803397 @default.
- W2950285192 hasConcept C105795698 @default.
- W2950285192 hasConcept C114614502 @default.
- W2950285192 hasConcept C115624301 @default.
- W2950285192 hasConcept C118615104 @default.
- W2950285192 hasConcept C132180345 @default.
- W2950285192 hasConcept C132525143 @default.
- W2950285192 hasConcept C137105694 @default.
- W2950285192 hasConcept C183046576 @default.
- W2950285192 hasConcept C185592680 @default.
- W2950285192 hasConcept C199622910 @default.
- W2950285192 hasConcept C203436722 @default.
- W2950285192 hasConcept C203776342 @default.
- W2950285192 hasConcept C2524010 @default.
- W2950285192 hasConcept C2776036281 @default.
- W2950285192 hasConcept C2780069185 @default.
- W2950285192 hasConcept C33923547 @default.
- W2950285192 hasConcept C44616089 @default.
- W2950285192 hasConcept C49937458 @default.
- W2950285192 hasConcept C61665672 @default.
- W2950285192 hasConcept C8010536 @default.
- W2950285192 hasConceptScore W2950285192C105795698 @default.
- W2950285192 hasConceptScore W2950285192C114614502 @default.
- W2950285192 hasConceptScore W2950285192C115624301 @default.
- W2950285192 hasConceptScore W2950285192C118615104 @default.
- W2950285192 hasConceptScore W2950285192C132180345 @default.
- W2950285192 hasConceptScore W2950285192C132525143 @default.
- W2950285192 hasConceptScore W2950285192C137105694 @default.
- W2950285192 hasConceptScore W2950285192C183046576 @default.
- W2950285192 hasConceptScore W2950285192C185592680 @default.
- W2950285192 hasConceptScore W2950285192C199622910 @default.
- W2950285192 hasConceptScore W2950285192C203436722 @default.
- W2950285192 hasConceptScore W2950285192C203776342 @default.
- W2950285192 hasConceptScore W2950285192C2524010 @default.
- W2950285192 hasConceptScore W2950285192C2776036281 @default.
- W2950285192 hasConceptScore W2950285192C2780069185 @default.
- W2950285192 hasConceptScore W2950285192C33923547 @default.
- W2950285192 hasConceptScore W2950285192C44616089 @default.
- W2950285192 hasConceptScore W2950285192C49937458 @default.
- W2950285192 hasConceptScore W2950285192C61665672 @default.
- W2950285192 hasConceptScore W2950285192C8010536 @default.
- W2950285192 hasLocation W29502851921 @default.
- W2950285192 hasOpenAccess W2950285192 @default.
- W2950285192 hasPrimaryLocation W29502851921 @default.
- W2950285192 hasRelatedWork W1515962957 @default.
- W2950285192 hasRelatedWork W1571873445 @default.
- W2950285192 hasRelatedWork W157911545 @default.
- W2950285192 hasRelatedWork W1589711670 @default.
- W2950285192 hasRelatedWork W1601269853 @default.
- W2950285192 hasRelatedWork W1899929753 @default.
- W2950285192 hasRelatedWork W1997649256 @default.
- W2950285192 hasRelatedWork W2018470381 @default.
- W2950285192 hasRelatedWork W2025319967 @default.
- W2950285192 hasRelatedWork W2035877205 @default.
- W2950285192 hasRelatedWork W2091345559 @default.
- W2950285192 hasRelatedWork W2116407296 @default.
- W2950285192 hasRelatedWork W2133260738 @default.
- W2950285192 hasRelatedWork W2149922426 @default.
- W2950285192 hasRelatedWork W2166566648 @default.
- W2950285192 hasRelatedWork W2247877609 @default.
- W2950285192 hasRelatedWork W2285326487 @default.
- W2950285192 hasRelatedWork W3082146116 @default.
- W2950285192 hasRelatedWork W3090211557 @default.
- W2950285192 hasRelatedWork W2339449034 @default.
- W2950285192 isParatext "false" @default.
- W2950285192 isRetracted "false" @default.
- W2950285192 magId "2950285192" @default.
- W2950285192 workType "article" @default.