FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551844364> ?p ?o ?g. }

• W1551844364 endingPage "105" @default.
• W1551844364 startingPage "91" @default.
• W1551844364 abstract "Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enumerator of a parametric polytope) is a function of the symbolic parameters that may appear in the constraints. In an extended problem (the “integer projection” of a parametric polytope), some of the variables that appear in the constraints may be existentially quantified and then the enumerated set corresponds to the projection of the integer points in a parametric polytope. This paper shows how to reduce the enumeration of the integer projection of parametric polytopes to the enumeration of parametric polytopes. Two approaches are described and experimentally compared. Both can solve problems that were considered very difficult to solve analytically." @default.
• W1551844364 created "2016-06-24" @default.
• W1551844364 creator A5004343076 @default.
• W1551844364 creator A5033235745 @default.
• W1551844364 creator A5035920138 @default.
• W1551844364 creator A5055650706 @default.
• W1551844364 date "2005-01-01" @default.
• W1551844364 modified "2023-10-18" @default.
• W1551844364 title "Experiences with Enumeration of Integer Projections of Parametric Polytopes" @default.
• W1551844364 cites W1487433818 @default.
• W1551844364 cites W1526450596 @default.
• W1551844364 cites W1535302738 @default.
• W1551844364 cites W1551844364 @default.
• W1551844364 cites W1560225926 @default.
• W1551844364 cites W1566398388 @default.
• W1551844364 cites W1801675113 @default.
• W1551844364 cites W1843640069 @default.
• W1551844364 cites W2007914110 @default.
• W1551844364 cites W2008119321 @default.
• W1551844364 cites W2033084216 @default.
• W1551844364 cites W2052356107 @default.
• W1551844364 cites W2052987729 @default.
• W1551844364 cites W2065705265 @default.
• W1551844364 cites W2097699872 @default.
• W1551844364 cites W2098065779 @default.
• W1551844364 cites W2112059128 @default.
• W1551844364 cites W2117894736 @default.
• W1551844364 cites W2125766931 @default.
• W1551844364 cites W2133174951 @default.
• W1551844364 cites W2135749853 @default.
• W1551844364 cites W2141722747 @default.
• W1551844364 cites W2149331152 @default.
• W1551844364 cites W2158737060 @default.
• W1551844364 cites W2170760228 @default.
• W1551844364 cites W2340604309 @default.
• W1551844364 cites W2423928556 @default.
• W1551844364 cites W3010182501 @default.
• W1551844364 cites W4249467046 @default.
• W1551844364 cites W4256280803 @default.
• W1551844364 doi "https://doi.org/10.1007/978-3-540-31985-6_7" @default.
• W1551844364 hasPublicationYear "2005" @default.
• W1551844364 type Work @default.
• W1551844364 sameAs 1551844364 @default.
• W1551844364 citedByCount "34" @default.
• W1551844364 countsByYear W15518443642012 @default.
• W1551844364 countsByYear W15518443642014 @default.
• W1551844364 countsByYear W15518443642015 @default.
• W1551844364 countsByYear W15518443642016 @default.
• W1551844364 countsByYear W15518443642020 @default.
• W1551844364 crossrefType "book-chapter" @default.
• W1551844364 hasAuthorship W1551844364A5004343076 @default.
• W1551844364 hasAuthorship W1551844364A5033235745 @default.
• W1551844364 hasAuthorship W1551844364A5035920138 @default.
• W1551844364 hasAuthorship W1551844364A5055650706 @default.
• W1551844364 hasBestOaLocation W15518443641 @default.
• W1551844364 hasConcept C105795698 @default.
• W1551844364 hasConcept C113391598 @default.
• W1551844364 hasConcept C11413529 @default.
• W1551844364 hasConcept C114614502 @default.
• W1551844364 hasConcept C117251300 @default.
• W1551844364 hasConcept C118615104 @default.
• W1551844364 hasConcept C126255220 @default.
• W1551844364 hasConcept C145691206 @default.
• W1551844364 hasConcept C156340839 @default.
• W1551844364 hasConcept C177264268 @default.
• W1551844364 hasConcept C199360897 @default.
• W1551844364 hasConcept C33923547 @default.
• W1551844364 hasConcept C41008148 @default.
• W1551844364 hasConcept C56086750 @default.
• W1551844364 hasConcept C57493831 @default.
• W1551844364 hasConcept C97137487 @default.
• W1551844364 hasConceptScore W1551844364C105795698 @default.
• W1551844364 hasConceptScore W1551844364C113391598 @default.
• W1551844364 hasConceptScore W1551844364C11413529 @default.
• W1551844364 hasConceptScore W1551844364C114614502 @default.
• W1551844364 hasConceptScore W1551844364C117251300 @default.
• W1551844364 hasConceptScore W1551844364C118615104 @default.
• W1551844364 hasConceptScore W1551844364C126255220 @default.
• W1551844364 hasConceptScore W1551844364C145691206 @default.
• W1551844364 hasConceptScore W1551844364C156340839 @default.
• W1551844364 hasConceptScore W1551844364C177264268 @default.
• W1551844364 hasConceptScore W1551844364C199360897 @default.
• W1551844364 hasConceptScore W1551844364C33923547 @default.
• W1551844364 hasConceptScore W1551844364C41008148 @default.
• W1551844364 hasConceptScore W1551844364C56086750 @default.
• W1551844364 hasConceptScore W1551844364C57493831 @default.
• W1551844364 hasConceptScore W1551844364C97137487 @default.
• W1551844364 hasLocation W15518443641 @default.
• W1551844364 hasLocation W15518443642 @default.
• W1551844364 hasLocation W15518443643 @default.
• W1551844364 hasLocation W15518443644 @default.
• W1551844364 hasOpenAccess W1551844364 @default.
• W1551844364 hasPrimaryLocation W15518443641 @default.
• W1551844364 hasRelatedWork W1539645382 @default.
• W1551844364 hasRelatedWork W2019352326 @default.
• W1551844364 hasRelatedWork W2070184056 @default.
• W1551844364 hasRelatedWork W2087596644 @default.
• W1551844364 hasRelatedWork W2170338945 @default.

• next