Matches in SemOpenAlex for { <https://semopenalex.org/work/W2560050202> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2560050202 abstract "In this paper, we consider the satisfiability problem for string logic with equations, regular membership and Presburger constraints over length functions. The difficulty comes from multiple occurrences of string variables making state-of-the-art algorithms non-terminating. Our main contribution is to show that the satisfiability problem in a fragment where no string variable occurs more than twice in an equation is decidable. In particular, we propose a semi-decision procedure for arbitrary string formulae with word equations, regular membership and length functions. The essence of our procedure is an algorithm to enumerate an equivalent set of solvable disjuncts for the formula. We further show that the algorithm always terminates for the aforementioned decidable fragment. Finally, we provide a complexity analysis of our decision procedure to prove that it runs, in the worst case, in factorial time." @default.
- W2560050202 created "2016-12-16" @default.
- W2560050202 creator A5060517079 @default.
- W2560050202 date "2016-10-05" @default.
- W2560050202 modified "2023-09-27" @default.
- W2560050202 title "A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints." @default.
- W2560050202 cites W1023119160 @default.
- W2560050202 cites W1540580590 @default.
- W2560050202 cites W1555798330 @default.
- W2560050202 cites W1809751277 @default.
- W2560050202 cites W1952344271 @default.
- W2560050202 cites W1993370765 @default.
- W2560050202 cites W2017035494 @default.
- W2560050202 cites W2023887108 @default.
- W2560050202 cites W2035096212 @default.
- W2560050202 cites W2039468209 @default.
- W2560050202 cites W2054924158 @default.
- W2560050202 cites W2094568767 @default.
- W2560050202 cites W2110318050 @default.
- W2560050202 cites W2117402063 @default.
- W2560050202 cites W2124401866 @default.
- W2560050202 cites W2136579066 @default.
- W2560050202 cites W2157260510 @default.
- W2560050202 cites W2295723447 @default.
- W2560050202 cites W2295791966 @default.
- W2560050202 cites W2417050248 @default.
- W2560050202 cites W2501292226 @default.
- W2560050202 hasPublicationYear "2016" @default.
- W2560050202 type Work @default.
- W2560050202 sameAs 2560050202 @default.
- W2560050202 citedByCount "0" @default.
- W2560050202 crossrefType "posted-content" @default.
- W2560050202 hasAuthorship W2560050202A5060517079 @default.
- W2560050202 hasConcept C11413529 @default.
- W2560050202 hasConcept C114614502 @default.
- W2560050202 hasConcept C115988155 @default.
- W2560050202 hasConcept C118615104 @default.
- W2560050202 hasConcept C153269930 @default.
- W2560050202 hasConcept C157486923 @default.
- W2560050202 hasConcept C168773769 @default.
- W2560050202 hasConcept C177264268 @default.
- W2560050202 hasConcept C199360897 @default.
- W2560050202 hasConcept C2776235265 @default.
- W2560050202 hasConcept C33923547 @default.
- W2560050202 hasConcept C37914503 @default.
- W2560050202 hasConcept C41008148 @default.
- W2560050202 hasConcept C5852641 @default.
- W2560050202 hasConcept C6943359 @default.
- W2560050202 hasConceptScore W2560050202C11413529 @default.
- W2560050202 hasConceptScore W2560050202C114614502 @default.
- W2560050202 hasConceptScore W2560050202C115988155 @default.
- W2560050202 hasConceptScore W2560050202C118615104 @default.
- W2560050202 hasConceptScore W2560050202C153269930 @default.
- W2560050202 hasConceptScore W2560050202C157486923 @default.
- W2560050202 hasConceptScore W2560050202C168773769 @default.
- W2560050202 hasConceptScore W2560050202C177264268 @default.
- W2560050202 hasConceptScore W2560050202C199360897 @default.
- W2560050202 hasConceptScore W2560050202C2776235265 @default.
- W2560050202 hasConceptScore W2560050202C33923547 @default.
- W2560050202 hasConceptScore W2560050202C37914503 @default.
- W2560050202 hasConceptScore W2560050202C41008148 @default.
- W2560050202 hasConceptScore W2560050202C5852641 @default.
- W2560050202 hasConceptScore W2560050202C6943359 @default.
- W2560050202 hasLocation W25600502021 @default.
- W2560050202 hasOpenAccess W2560050202 @default.
- W2560050202 hasPrimaryLocation W25600502021 @default.
- W2560050202 hasRelatedWork W103116065 @default.
- W2560050202 hasRelatedWork W143215475 @default.
- W2560050202 hasRelatedWork W1556844982 @default.
- W2560050202 hasRelatedWork W1589342712 @default.
- W2560050202 hasRelatedWork W1617936625 @default.
- W2560050202 hasRelatedWork W1700922650 @default.
- W2560050202 hasRelatedWork W1830696394 @default.
- W2560050202 hasRelatedWork W1969335410 @default.
- W2560050202 hasRelatedWork W1979442476 @default.
- W2560050202 hasRelatedWork W2008796796 @default.
- W2560050202 hasRelatedWork W2011992362 @default.
- W2560050202 hasRelatedWork W2021592352 @default.
- W2560050202 hasRelatedWork W2027602125 @default.
- W2560050202 hasRelatedWork W2028685566 @default.
- W2560050202 hasRelatedWork W2037639986 @default.
- W2560050202 hasRelatedWork W2059781091 @default.
- W2560050202 hasRelatedWork W2117198618 @default.
- W2560050202 hasRelatedWork W2156117182 @default.
- W2560050202 hasRelatedWork W2765197941 @default.
- W2560050202 hasRelatedWork W3102597374 @default.
- W2560050202 isParatext "false" @default.
- W2560050202 isRetracted "false" @default.
- W2560050202 magId "2560050202" @default.
- W2560050202 workType "article" @default.