FRINK Linked Data Fragments server

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

• W1566372122 abstract "We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ± x ± y ≤ d and bound constraints of the form ± x ≤ d where x and y are integer variables and d is an integer constrant. The running time of these algorithms is a cubic polynomial in the number of input constraints. We also describe an efficient matrix representation of addition and bound constraints. The matrix representation provides a easy, algebraic implementation of the satisfiability and tightened transitive closure algorithms. We also outline the use of these algorithms for the improved implementation of abstract interpretation methods based on the octagonal abstract domain." @default.
• W1566372122 created "2016-06-24" @default.
• W1566372122 creator A5082669031 @default.
• W1566372122 date "2009-10-22" @default.
• W1566372122 modified "2023-10-18" @default.
• W1566372122 title "Tightened Transitive Closure of Integer Addition Constraints" @default.
• W1566372122 cites W1499001767 @default.
• W1566372122 cites W1503170978 @default.
• W1566372122 cites W1532667386 @default.
• W1566372122 cites W1533094101 @default.
• W1566372122 cites W1548517117 @default.
• W1566372122 cites W1556566737 @default.
• W1566372122 cites W1596887828 @default.
• W1566372122 cites W1602949508 @default.
• W1566372122 cites W1823736747 @default.
• W1566372122 cites W1904450094 @default.
• W1566372122 cites W1912609664 @default.
• W1566372122 cites W1945542985 @default.
• W1566372122 cites W1976122836 @default.
• W1566372122 cites W2004463571 @default.
• W1566372122 cites W2022530540 @default.
• W1566372122 cites W2043100293 @default.
• W1566372122 cites W2132661148 @default.
• W1566372122 cites W2142481893 @default.
• W1566372122 cites W2519218684 @default.
• W1566372122 cites W2913459036 @default.
• W1566372122 hasPublicationYear "2009" @default.
• W1566372122 type Work @default.
• W1566372122 sameAs 1566372122 @default.
• W1566372122 citedByCount "1" @default.
• W1566372122 countsByYear W15663721222018 @default.
• W1566372122 crossrefType "proceedings-article" @default.
• W1566372122 hasAuthorship W1566372122A5082669031 @default.
• W1566372122 hasConcept C103275481 @default.
• W1566372122 hasConcept C106487976 @default.
• W1566372122 hasConcept C11413529 @default.
• W1566372122 hasConcept C114614502 @default.
• W1566372122 hasConcept C118615104 @default.
• W1566372122 hasConcept C128896722 @default.
• W1566372122 hasConcept C129691609 @default.
• W1566372122 hasConcept C132525143 @default.
• W1566372122 hasConcept C134306372 @default.
• W1566372122 hasConcept C146834321 @default.
• W1566372122 hasConcept C159985019 @default.
• W1566372122 hasConcept C162324750 @default.
• W1566372122 hasConcept C168773769 @default.
• W1566372122 hasConcept C17744445 @default.
• W1566372122 hasConcept C178790620 @default.
• W1566372122 hasConcept C185592680 @default.
• W1566372122 hasConcept C191399111 @default.
• W1566372122 hasConcept C192562407 @default.
• W1566372122 hasConcept C199360897 @default.
• W1566372122 hasConcept C199539241 @default.
• W1566372122 hasConcept C203776342 @default.
• W1566372122 hasConcept C22149727 @default.
• W1566372122 hasConcept C2776359362 @default.
• W1566372122 hasConcept C2780654840 @default.
• W1566372122 hasConcept C2781311116 @default.
• W1566372122 hasConcept C33923547 @default.
• W1566372122 hasConcept C34447519 @default.
• W1566372122 hasConcept C41008148 @default.
• W1566372122 hasConcept C90119067 @default.
• W1566372122 hasConcept C94625758 @default.
• W1566372122 hasConcept C97137487 @default.
• W1566372122 hasConceptScore W1566372122C103275481 @default.
• W1566372122 hasConceptScore W1566372122C106487976 @default.
• W1566372122 hasConceptScore W1566372122C11413529 @default.
• W1566372122 hasConceptScore W1566372122C114614502 @default.
• W1566372122 hasConceptScore W1566372122C118615104 @default.
• W1566372122 hasConceptScore W1566372122C128896722 @default.
• W1566372122 hasConceptScore W1566372122C129691609 @default.
• W1566372122 hasConceptScore W1566372122C132525143 @default.
• W1566372122 hasConceptScore W1566372122C134306372 @default.
• W1566372122 hasConceptScore W1566372122C146834321 @default.
• W1566372122 hasConceptScore W1566372122C159985019 @default.
• W1566372122 hasConceptScore W1566372122C162324750 @default.
• W1566372122 hasConceptScore W1566372122C168773769 @default.
• W1566372122 hasConceptScore W1566372122C17744445 @default.
• W1566372122 hasConceptScore W1566372122C178790620 @default.
• W1566372122 hasConceptScore W1566372122C185592680 @default.
• W1566372122 hasConceptScore W1566372122C191399111 @default.
• W1566372122 hasConceptScore W1566372122C192562407 @default.
• W1566372122 hasConceptScore W1566372122C199360897 @default.
• W1566372122 hasConceptScore W1566372122C199539241 @default.
• W1566372122 hasConceptScore W1566372122C203776342 @default.
• W1566372122 hasConceptScore W1566372122C22149727 @default.
• W1566372122 hasConceptScore W1566372122C2776359362 @default.
• W1566372122 hasConceptScore W1566372122C2780654840 @default.
• W1566372122 hasConceptScore W1566372122C2781311116 @default.
• W1566372122 hasConceptScore W1566372122C33923547 @default.
• W1566372122 hasConceptScore W1566372122C34447519 @default.
• W1566372122 hasConceptScore W1566372122C41008148 @default.
• W1566372122 hasConceptScore W1566372122C90119067 @default.
• W1566372122 hasConceptScore W1566372122C94625758 @default.
• W1566372122 hasConceptScore W1566372122C97137487 @default.
• W1566372122 hasLocation W15663721221 @default.
• W1566372122 hasOpenAccess W1566372122 @default.
• W1566372122 hasPrimaryLocation W15663721221 @default.
• W1566372122 hasRelatedWork W1489033561 @default.
• W1566372122 hasRelatedWork W1554001137 @default.

• next