Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135463032> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2135463032 abstract "Number decision diagrams (NDD) are the automata-based symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significant digit first). Since 1969 (A. Cobham, 1969, A. Semenov, 1977), we know that any Presburger-definable set (M. Presburger, 1929) (a set of integer vectors satisfying a formula in the first-order additive theory of the integers) can be represented by a NDD, and efficient algorithm for manipulating these sets have been recently developed (P. Wolper et al., 2000, A. Boudet et al., 1996). However, the problem of deciding if a NDD represents such a set, is a well-known hard problem first solved by Muchnik in 1991 with a quadruply-exponential time algorithm. In this paper, we show how to determine in polynomial time whether a NDD represents a Presburger-definable set, and we provide in this positive case a polynomial time algorithm that constructs from the NDD a Presburger-formula that defines the same set." @default.
- W2135463032 created "2016-06-24" @default.
- W2135463032 creator A5014652670 @default.
- W2135463032 date "2006-10-11" @default.
- W2135463032 modified "2023-10-12" @default.
- W2135463032 title "A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams" @default.
- W2135463032 cites W1500263346 @default.
- W2135463032 cites W1502444542 @default.
- W2135463032 cites W1523445881 @default.
- W2135463032 cites W1540012118 @default.
- W2135463032 cites W1546407613 @default.
- W2135463032 cites W1713126207 @default.
- W2135463032 cites W1842953027 @default.
- W2135463032 cites W1964874178 @default.
- W2135463032 cites W1987469449 @default.
- W2135463032 cites W1995151557 @default.
- W2135463032 cites W1997268799 @default.
- W2135463032 cites W1998927893 @default.
- W2135463032 cites W2008644136 @default.
- W2135463032 cites W2030224590 @default.
- W2135463032 cites W2030999998 @default.
- W2135463032 cites W2071859297 @default.
- W2135463032 cites W2072217486 @default.
- W2135463032 cites W208084376 @default.
- W2135463032 cites W2135463032 @default.
- W2135463032 cites W2149932816 @default.
- W2135463032 cites W2163696969 @default.
- W2135463032 cites W4230761142 @default.
- W2135463032 cites W4246952859 @default.
- W2135463032 doi "https://doi.org/10.1109/lics.2005.2" @default.
- W2135463032 hasPublicationYear "2006" @default.
- W2135463032 type Work @default.
- W2135463032 sameAs 2135463032 @default.
- W2135463032 citedByCount "27" @default.
- W2135463032 countsByYear W21354630322013 @default.
- W2135463032 countsByYear W21354630322014 @default.
- W2135463032 countsByYear W21354630322016 @default.
- W2135463032 countsByYear W21354630322017 @default.
- W2135463032 countsByYear W21354630322018 @default.
- W2135463032 countsByYear W21354630322019 @default.
- W2135463032 countsByYear W21354630322020 @default.
- W2135463032 countsByYear W21354630322021 @default.
- W2135463032 crossrefType "proceedings-article" @default.
- W2135463032 hasAuthorship W2135463032A5014652670 @default.
- W2135463032 hasBestOaLocation W21354630322 @default.
- W2135463032 hasConcept C11413529 @default.
- W2135463032 hasConcept C118615104 @default.
- W2135463032 hasConcept C153269930 @default.
- W2135463032 hasConcept C177264268 @default.
- W2135463032 hasConcept C17744445 @default.
- W2135463032 hasConcept C199360897 @default.
- W2135463032 hasConcept C199539241 @default.
- W2135463032 hasConcept C2776359362 @default.
- W2135463032 hasConcept C311688 @default.
- W2135463032 hasConcept C33923547 @default.
- W2135463032 hasConcept C41008148 @default.
- W2135463032 hasConcept C5852641 @default.
- W2135463032 hasConcept C80444323 @default.
- W2135463032 hasConcept C94625758 @default.
- W2135463032 hasConcept C97137487 @default.
- W2135463032 hasConceptScore W2135463032C11413529 @default.
- W2135463032 hasConceptScore W2135463032C118615104 @default.
- W2135463032 hasConceptScore W2135463032C153269930 @default.
- W2135463032 hasConceptScore W2135463032C177264268 @default.
- W2135463032 hasConceptScore W2135463032C17744445 @default.
- W2135463032 hasConceptScore W2135463032C199360897 @default.
- W2135463032 hasConceptScore W2135463032C199539241 @default.
- W2135463032 hasConceptScore W2135463032C2776359362 @default.
- W2135463032 hasConceptScore W2135463032C311688 @default.
- W2135463032 hasConceptScore W2135463032C33923547 @default.
- W2135463032 hasConceptScore W2135463032C41008148 @default.
- W2135463032 hasConceptScore W2135463032C5852641 @default.
- W2135463032 hasConceptScore W2135463032C80444323 @default.
- W2135463032 hasConceptScore W2135463032C94625758 @default.
- W2135463032 hasConceptScore W2135463032C97137487 @default.
- W2135463032 hasLocation W21354630321 @default.
- W2135463032 hasLocation W21354630322 @default.
- W2135463032 hasLocation W21354630323 @default.
- W2135463032 hasLocation W21354630324 @default.
- W2135463032 hasLocation W21354630325 @default.
- W2135463032 hasLocation W21354630326 @default.
- W2135463032 hasOpenAccess W2135463032 @default.
- W2135463032 hasPrimaryLocation W21354630321 @default.
- W2135463032 hasRelatedWork W1540595797 @default.
- W2135463032 hasRelatedWork W1587864502 @default.
- W2135463032 hasRelatedWork W2042574976 @default.
- W2135463032 hasRelatedWork W2053402117 @default.
- W2135463032 hasRelatedWork W2122700562 @default.
- W2135463032 hasRelatedWork W2922024459 @default.
- W2135463032 hasRelatedWork W3130346675 @default.
- W2135463032 hasRelatedWork W4225592929 @default.
- W2135463032 hasRelatedWork W4294016381 @default.
- W2135463032 hasRelatedWork W2583753471 @default.
- W2135463032 isParatext "false" @default.
- W2135463032 isRetracted "false" @default.
- W2135463032 magId "2135463032" @default.
- W2135463032 workType "article" @default.