Matches in SemOpenAlex for { <https://semopenalex.org/work/W96283093> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W96283093 endingPage "497" @default.
- W96283093 startingPage "479" @default.
- W96283093 abstract "It is known that the satisfiability problem for equations over free partially commutative monoids is decidable but computationally hard. In this paper we consider the satisfiability problem for equations over free partially commutative monoids under the constraint that the solution is a subset of the alphabet. We prove that this problem is NP-complete for quadratic equations and that its uniform version is NP-complete for linear equations." @default.
- W96283093 created "2016-06-24" @default.
- W96283093 creator A5006809009 @default.
- W96283093 creator A5034128897 @default.
- W96283093 creator A5084067368 @default.
- W96283093 creator A5005237633 @default.
- W96283093 date "2009-02-01" @default.
- W96283093 modified "2023-09-23" @default.
- W96283093 title "Alphabetical satisfiability problem for trace equations" @default.
- W96283093 cites W1483025869 @default.
- W96283093 cites W1488448967 @default.
- W96283093 cites W1491665733 @default.
- W96283093 cites W1534859586 @default.
- W96283093 cites W1977861184 @default.
- W96283093 cites W1990300406 @default.
- W96283093 cites W1993370765 @default.
- W96283093 cites W2400010728 @default.
- W96283093 cites W73232262 @default.
- W96283093 hasPublicationYear "2009" @default.
- W96283093 type Work @default.
- W96283093 sameAs 96283093 @default.
- W96283093 citedByCount "0" @default.
- W96283093 crossrefType "journal-article" @default.
- W96283093 hasAuthorship W96283093A5005237633 @default.
- W96283093 hasAuthorship W96283093A5006809009 @default.
- W96283093 hasAuthorship W96283093A5034128897 @default.
- W96283093 hasAuthorship W96283093A5084067368 @default.
- W96283093 hasConcept C112876837 @default.
- W96283093 hasConcept C114614502 @default.
- W96283093 hasConcept C118615104 @default.
- W96283093 hasConcept C129844170 @default.
- W96283093 hasConcept C134306372 @default.
- W96283093 hasConcept C138885662 @default.
- W96283093 hasConcept C153269930 @default.
- W96283093 hasConcept C168773769 @default.
- W96283093 hasConcept C183778304 @default.
- W96283093 hasConcept C2524010 @default.
- W96283093 hasConcept C2776036281 @default.
- W96283093 hasConcept C33923547 @default.
- W96283093 hasConcept C41895202 @default.
- W96283093 hasConcept C6943359 @default.
- W96283093 hasConcept C75291252 @default.
- W96283093 hasConcept C94523830 @default.
- W96283093 hasConceptScore W96283093C112876837 @default.
- W96283093 hasConceptScore W96283093C114614502 @default.
- W96283093 hasConceptScore W96283093C118615104 @default.
- W96283093 hasConceptScore W96283093C129844170 @default.
- W96283093 hasConceptScore W96283093C134306372 @default.
- W96283093 hasConceptScore W96283093C138885662 @default.
- W96283093 hasConceptScore W96283093C153269930 @default.
- W96283093 hasConceptScore W96283093C168773769 @default.
- W96283093 hasConceptScore W96283093C183778304 @default.
- W96283093 hasConceptScore W96283093C2524010 @default.
- W96283093 hasConceptScore W96283093C2776036281 @default.
- W96283093 hasConceptScore W96283093C33923547 @default.
- W96283093 hasConceptScore W96283093C41895202 @default.
- W96283093 hasConceptScore W96283093C6943359 @default.
- W96283093 hasConceptScore W96283093C75291252 @default.
- W96283093 hasConceptScore W96283093C94523830 @default.
- W96283093 hasIssue "2" @default.
- W96283093 hasLocation W962830931 @default.
- W96283093 hasOpenAccess W96283093 @default.
- W96283093 hasPrimaryLocation W962830931 @default.
- W96283093 hasRelatedWork W1491443098 @default.
- W96283093 hasRelatedWork W1529365861 @default.
- W96283093 hasRelatedWork W1570737750 @default.
- W96283093 hasRelatedWork W1602509085 @default.
- W96283093 hasRelatedWork W1726757030 @default.
- W96283093 hasRelatedWork W1999298839 @default.
- W96283093 hasRelatedWork W2006929850 @default.
- W96283093 hasRelatedWork W2027103910 @default.
- W96283093 hasRelatedWork W2032424775 @default.
- W96283093 hasRelatedWork W2036954119 @default.
- W96283093 hasRelatedWork W2058817145 @default.
- W96283093 hasRelatedWork W2081237392 @default.
- W96283093 hasRelatedWork W2129564013 @default.
- W96283093 hasRelatedWork W2149887641 @default.
- W96283093 hasRelatedWork W2295905970 @default.
- W96283093 hasRelatedWork W2625681600 @default.
- W96283093 hasRelatedWork W2952479823 @default.
- W96283093 hasRelatedWork W2953020458 @default.
- W96283093 hasRelatedWork W2988967397 @default.
- W96283093 hasRelatedWork W2037258148 @default.
- W96283093 hasVolume "19" @default.
- W96283093 isParatext "false" @default.
- W96283093 isRetracted "false" @default.
- W96283093 magId "96283093" @default.
- W96283093 workType "article" @default.