FRINK Linked Data Fragments server

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

• W2902161729 abstract "Subclasses of linear inequalities where each inequality has at most two vari- ables are popular in abstract interpretation and model checking, because they strike a balance between what can be described and what can be efficiently computed. This paper focuses on the TVPI class of inequalities, for which each coefficient of each two variable inequality is unrestricted. An implied TVPI in- equality can be generated from a pair of TVPI inequalities by eliminating a given common variable (echoing resolution on clauses). This operation, called result , can be applied to derive TVPI inequalities which are entailed (implied) by a given TVPI system. The key operation on TVPI is calculating closure: satisfiability can be observed from a closed system and a closed system also simplifies the calculation of other operations. A closed system can be derived by repeatedly applying the result operator. The process of adding a single TVPI inequality to an already closed input TVPI system and then finding the closure of this augmented system is called incremental closure. This too can be calcu- lated by the repeated application of the result operator. This paper studies the calculus defined by result , the structure of result derivations, and how deriva- tions can be combined and controlled. A series of lemmata on derivations are presented that, collectively, provide a pathway for synthesising an algorithm for incremental closure. The complexity of the incremental closure algorithm is analysed and found to be O (( n 2 + m 2 )lg( m )), where n is the number of variables and m the number of inequalities of the input TVPI system." @default.
• W2902161729 created "2018-12-11" @default.
• W2902161729 creator A5028862080 @default.
• W2902161729 creator A5039886424 @default.
• W2902161729 creator A5063762504 @default.
• W2902161729 date "2019-05-01" @default.
• W2902161729 modified "2023-10-17" @default.
• W2902161729 title "Incremental Closure for Systems of Two Variables Per Inequality" @default.
• W2902161729 cites W1482233117 @default.
• W2902161729 cites W1497609928 @default.
• W2902161729 cites W1514857085 @default.
• W2902161729 cites W1518247129 @default.
• W2902161729 cites W1533186609 @default.
• W2902161729 cites W1542224128 @default.
• W2902161729 cites W1584710274 @default.
• W2902161729 cites W1589297860 @default.
• W2902161729 cites W178079818 @default.
• W2902161729 cites W1957766372 @default.
• W2902161729 cites W1968208713 @default.
• W2902161729 cites W1970141743 @default.
• W2902161729 cites W1974133806 @default.
• W2902161729 cites W1975964164 @default.
• W2902161729 cites W1994293250 @default.
• W2902161729 cites W2000472767 @default.
• W2902161729 cites W2002252837 @default.
• W2902161729 cites W2007572995 @default.
• W2902161729 cites W2011039300 @default.
• W2902161729 cites W2019609597 @default.
• W2902161729 cites W2020606208 @default.
• W2902161729 cites W2022980325 @default.
• W2902161729 cites W2032391783 @default.
• W2902161729 cites W2032908410 @default.
• W2902161729 cites W2048138541 @default.
• W2902161729 cites W2073873127 @default.
• W2902161729 cites W2087970026 @default.
• W2902161729 cites W2104734478 @default.
• W2902161729 cites W2111422217 @default.
• W2902161729 cites W2113188188 @default.
• W2902161729 cites W2124682870 @default.
• W2902161729 cites W2132661148 @default.
• W2902161729 cites W2145000217 @default.
• W2902161729 cites W2150529683 @default.
• W2902161729 cites W2153454313 @default.
• W2902161729 cites W2227557434 @default.
• W2902161729 cites W3124031623 @default.
• W2902161729 cites W3158747708 @default.
• W2902161729 cites W59642632 @default.
• W2902161729 cites W60370665 @default.
• W2902161729 doi "https://doi.org/10.1016/j.tcs.2018.12.001" @default.
• W2902161729 hasPublicationYear "2019" @default.
• W2902161729 type Work @default.
• W2902161729 sameAs 2902161729 @default.
• W2902161729 citedByCount "0" @default.
• W2902161729 crossrefType "journal-article" @default.
• W2902161729 hasAuthorship W2902161729A5028862080 @default.
• W2902161729 hasAuthorship W2902161729A5039886424 @default.
• W2902161729 hasAuthorship W2902161729A5063762504 @default.
• W2902161729 hasBestOaLocation W29021617291 @default.
• W2902161729 hasConcept C104317684 @default.
• W2902161729 hasConcept C11413529 @default.
• W2902161729 hasConcept C118615104 @default.
• W2902161729 hasConcept C134306372 @default.
• W2902161729 hasConcept C146834321 @default.
• W2902161729 hasConcept C154945302 @default.
• W2902161729 hasConcept C158448853 @default.
• W2902161729 hasConcept C162324750 @default.
• W2902161729 hasConcept C168773769 @default.
• W2902161729 hasConcept C17020691 @default.
• W2902161729 hasConcept C182365436 @default.
• W2902161729 hasConcept C185592680 @default.
• W2902161729 hasConcept C199343813 @default.
• W2902161729 hasConcept C199360897 @default.
• W2902161729 hasConcept C2777212361 @default.
• W2902161729 hasConcept C2777686260 @default.
• W2902161729 hasConcept C33923547 @default.
• W2902161729 hasConcept C34447519 @default.
• W2902161729 hasConcept C41008148 @default.
• W2902161729 hasConcept C45555294 @default.
• W2902161729 hasConcept C527412718 @default.
• W2902161729 hasConcept C55493867 @default.
• W2902161729 hasConcept C71924100 @default.
• W2902161729 hasConcept C86339819 @default.
• W2902161729 hasConceptScore W2902161729C104317684 @default.
• W2902161729 hasConceptScore W2902161729C11413529 @default.
• W2902161729 hasConceptScore W2902161729C118615104 @default.
• W2902161729 hasConceptScore W2902161729C134306372 @default.
• W2902161729 hasConceptScore W2902161729C146834321 @default.
• W2902161729 hasConceptScore W2902161729C154945302 @default.
• W2902161729 hasConceptScore W2902161729C158448853 @default.
• W2902161729 hasConceptScore W2902161729C162324750 @default.
• W2902161729 hasConceptScore W2902161729C168773769 @default.
• W2902161729 hasConceptScore W2902161729C17020691 @default.
• W2902161729 hasConceptScore W2902161729C182365436 @default.
• W2902161729 hasConceptScore W2902161729C185592680 @default.
• W2902161729 hasConceptScore W2902161729C199343813 @default.
• W2902161729 hasConceptScore W2902161729C199360897 @default.
• W2902161729 hasConceptScore W2902161729C2777212361 @default.
• W2902161729 hasConceptScore W2902161729C2777686260 @default.
• W2902161729 hasConceptScore W2902161729C33923547 @default.
• W2902161729 hasConceptScore W2902161729C34447519 @default.

• next