Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486648617> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1486648617 endingPage "485" @default.
- W1486648617 startingPage "471" @default.
- W1486648617 abstract "The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitable domain for capturing the kind of dependencies arising in groundness analysis, and Reduced Ordered Binary Decision Diagrams (ROBDDs) are generally accepted to be the most efficient representation for Pos. Unfortunately, the size of an ROBDDs is, in the worst case, exponential in the number of variables it depends upon. Earlier work [2] has shown that a hybrid representation that separates the definite information from the dependency information is considerably more efficient than keeping the two together. The aim of the present paper is to push this idea further, also separating out certain dependency information, in particular all pairs of variables that are always either both ground or neither ground. We find that this new hybrid representation is a significant improvement over previous work." @default.
- W1486648617 created "2016-06-24" @default.
- W1486648617 creator A5049776257 @default.
- W1486648617 creator A5057370941 @default.
- W1486648617 date "1998-01-01" @default.
- W1486648617 modified "2023-09-23" @default.
- W1486648617 title "Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos" @default.
- W1486648617 cites W1527333107 @default.
- W1486648617 cites W2030224590 @default.
- W1486648617 cites W2057821410 @default.
- W1486648617 cites W2061900593 @default.
- W1486648617 cites W2080267935 @default.
- W1486648617 cites W2098120938 @default.
- W1486648617 cites W2105943700 @default.
- W1486648617 cites W4210575917 @default.
- W1486648617 doi "https://doi.org/10.1007/3-540-49253-4_33" @default.
- W1486648617 hasPublicationYear "1998" @default.
- W1486648617 type Work @default.
- W1486648617 sameAs 1486648617 @default.
- W1486648617 citedByCount "19" @default.
- W1486648617 countsByYear W14866486172013 @default.
- W1486648617 crossrefType "book-chapter" @default.
- W1486648617 hasAuthorship W1486648617A5049776257 @default.
- W1486648617 hasAuthorship W1486648617A5057370941 @default.
- W1486648617 hasConcept C11413529 @default.
- W1486648617 hasConcept C134306372 @default.
- W1486648617 hasConcept C154945302 @default.
- W1486648617 hasConcept C17744445 @default.
- W1486648617 hasConcept C182365436 @default.
- W1486648617 hasConcept C19768560 @default.
- W1486648617 hasConcept C199360897 @default.
- W1486648617 hasConcept C199539241 @default.
- W1486648617 hasConcept C2524010 @default.
- W1486648617 hasConcept C26713055 @default.
- W1486648617 hasConcept C2776036281 @default.
- W1486648617 hasConcept C2776359362 @default.
- W1486648617 hasConcept C3309909 @default.
- W1486648617 hasConcept C33923547 @default.
- W1486648617 hasConcept C36503486 @default.
- W1486648617 hasConcept C41008148 @default.
- W1486648617 hasConcept C48372109 @default.
- W1486648617 hasConcept C80444323 @default.
- W1486648617 hasConcept C94375191 @default.
- W1486648617 hasConcept C94625758 @default.
- W1486648617 hasConceptScore W1486648617C11413529 @default.
- W1486648617 hasConceptScore W1486648617C134306372 @default.
- W1486648617 hasConceptScore W1486648617C154945302 @default.
- W1486648617 hasConceptScore W1486648617C17744445 @default.
- W1486648617 hasConceptScore W1486648617C182365436 @default.
- W1486648617 hasConceptScore W1486648617C19768560 @default.
- W1486648617 hasConceptScore W1486648617C199360897 @default.
- W1486648617 hasConceptScore W1486648617C199539241 @default.
- W1486648617 hasConceptScore W1486648617C2524010 @default.
- W1486648617 hasConceptScore W1486648617C26713055 @default.
- W1486648617 hasConceptScore W1486648617C2776036281 @default.
- W1486648617 hasConceptScore W1486648617C2776359362 @default.
- W1486648617 hasConceptScore W1486648617C3309909 @default.
- W1486648617 hasConceptScore W1486648617C33923547 @default.
- W1486648617 hasConceptScore W1486648617C36503486 @default.
- W1486648617 hasConceptScore W1486648617C41008148 @default.
- W1486648617 hasConceptScore W1486648617C48372109 @default.
- W1486648617 hasConceptScore W1486648617C80444323 @default.
- W1486648617 hasConceptScore W1486648617C94375191 @default.
- W1486648617 hasConceptScore W1486648617C94625758 @default.
- W1486648617 hasLocation W14866486171 @default.
- W1486648617 hasOpenAccess W1486648617 @default.
- W1486648617 hasPrimaryLocation W14866486171 @default.
- W1486648617 hasRelatedWork W1487597319 @default.
- W1486648617 hasRelatedWork W1550288578 @default.
- W1486648617 hasRelatedWork W179661928 @default.
- W1486648617 hasRelatedWork W2115698906 @default.
- W1486648617 hasRelatedWork W2119806321 @default.
- W1486648617 hasRelatedWork W2317837611 @default.
- W1486648617 hasRelatedWork W2388731795 @default.
- W1486648617 hasRelatedWork W3014984314 @default.
- W1486648617 hasRelatedWork W4300631294 @default.
- W1486648617 hasRelatedWork W1831144830 @default.
- W1486648617 isParatext "false" @default.
- W1486648617 isRetracted "false" @default.
- W1486648617 magId "1486648617" @default.
- W1486648617 workType "book-chapter" @default.