Matches in SemOpenAlex for { <https://semopenalex.org/work/W1578701395> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1578701395 endingPage "232" @default.
- W1578701395 startingPage "218" @default.
- W1578701395 abstract "We describe a new approach to proving termination with size change graphs. This is the first decision procedure for size change termination (SCT) which makes direct use of global ranking functions. It handles a well-defined and significant subset of SCT instances, designed to be amenable to a SAT-based solution. We have implemented the approach using a state-of-the-art Boolean satisfaction solver. Experimentation indicates that the approach is a viable alternative to the complete SCT decision procedure based on closure computation and local ranking functions. Our approach has the extra benefit of producing an explicit witness to prove termination in the form of a global ranking function." @default.
- W1578701395 created "2016-06-24" @default.
- W1578701395 creator A5019616888 @default.
- W1578701395 creator A5063747415 @default.
- W1578701395 date "2008-04-02" @default.
- W1578701395 modified "2023-09-24" @default.
- W1578701395 title "A SAT-Based Approach to Size Change Termination with Global Ranking Functions" @default.
- W1578701395 cites W1503537039 @default.
- W1578701395 cites W1562651002 @default.
- W1578701395 cites W1579524364 @default.
- W1578701395 cites W1584357601 @default.
- W1578701395 cites W174766979 @default.
- W1578701395 cites W1803315493 @default.
- W1578701395 cites W1820313840 @default.
- W1578701395 cites W1834328158 @default.
- W1578701395 cites W1996679397 @default.
- W1578701395 cites W2014030742 @default.
- W1578701395 cites W2024821946 @default.
- W1578701395 cites W2034711041 @default.
- W1578701395 cites W2049460548 @default.
- W1578701395 cites W2070546615 @default.
- W1578701395 cites W2093424728 @default.
- W1578701395 cites W2097944031 @default.
- W1578701395 cites W2144538202 @default.
- W1578701395 cites W2171453216 @default.
- W1578701395 cites W4232668957 @default.
- W1578701395 doi "https://doi.org/10.1007/978-3-540-78800-3_16" @default.
- W1578701395 hasPublicationYear "2008" @default.
- W1578701395 type Work @default.
- W1578701395 sameAs 1578701395 @default.
- W1578701395 citedByCount "20" @default.
- W1578701395 countsByYear W15787013952012 @default.
- W1578701395 countsByYear W15787013952014 @default.
- W1578701395 countsByYear W15787013952016 @default.
- W1578701395 countsByYear W15787013952018 @default.
- W1578701395 countsByYear W15787013952022 @default.
- W1578701395 crossrefType "book-chapter" @default.
- W1578701395 hasAuthorship W1578701395A5019616888 @default.
- W1578701395 hasAuthorship W1578701395A5063747415 @default.
- W1578701395 hasBestOaLocation W15787013951 @default.
- W1578701395 hasConcept C11413529 @default.
- W1578701395 hasConcept C119857082 @default.
- W1578701395 hasConcept C126255220 @default.
- W1578701395 hasConcept C14036430 @default.
- W1578701395 hasConcept C146834321 @default.
- W1578701395 hasConcept C162324750 @default.
- W1578701395 hasConcept C187455244 @default.
- W1578701395 hasConcept C189430467 @default.
- W1578701395 hasConcept C199360897 @default.
- W1578701395 hasConcept C2776900844 @default.
- W1578701395 hasConcept C2778770139 @default.
- W1578701395 hasConcept C33923547 @default.
- W1578701395 hasConcept C34447519 @default.
- W1578701395 hasConcept C41008148 @default.
- W1578701395 hasConcept C45374587 @default.
- W1578701395 hasConcept C6943359 @default.
- W1578701395 hasConcept C78458016 @default.
- W1578701395 hasConcept C80444323 @default.
- W1578701395 hasConcept C86803240 @default.
- W1578701395 hasConceptScore W1578701395C11413529 @default.
- W1578701395 hasConceptScore W1578701395C119857082 @default.
- W1578701395 hasConceptScore W1578701395C126255220 @default.
- W1578701395 hasConceptScore W1578701395C14036430 @default.
- W1578701395 hasConceptScore W1578701395C146834321 @default.
- W1578701395 hasConceptScore W1578701395C162324750 @default.
- W1578701395 hasConceptScore W1578701395C187455244 @default.
- W1578701395 hasConceptScore W1578701395C189430467 @default.
- W1578701395 hasConceptScore W1578701395C199360897 @default.
- W1578701395 hasConceptScore W1578701395C2776900844 @default.
- W1578701395 hasConceptScore W1578701395C2778770139 @default.
- W1578701395 hasConceptScore W1578701395C33923547 @default.
- W1578701395 hasConceptScore W1578701395C34447519 @default.
- W1578701395 hasConceptScore W1578701395C41008148 @default.
- W1578701395 hasConceptScore W1578701395C45374587 @default.
- W1578701395 hasConceptScore W1578701395C6943359 @default.
- W1578701395 hasConceptScore W1578701395C78458016 @default.
- W1578701395 hasConceptScore W1578701395C80444323 @default.
- W1578701395 hasConceptScore W1578701395C86803240 @default.
- W1578701395 hasLocation W15787013951 @default.
- W1578701395 hasLocation W15787013952 @default.
- W1578701395 hasOpenAccess W1578701395 @default.
- W1578701395 hasPrimaryLocation W15787013951 @default.
- W1578701395 hasRelatedWork W1499470128 @default.
- W1578701395 hasRelatedWork W1578701395 @default.
- W1578701395 hasRelatedWork W194961446 @default.
- W1578701395 hasRelatedWork W2062781507 @default.
- W1578701395 hasRelatedWork W2284153003 @default.
- W1578701395 hasRelatedWork W3125986754 @default.
- W1578701395 hasRelatedWork W4290647776 @default.
- W1578701395 hasRelatedWork W83935621 @default.
- W1578701395 hasRelatedWork W2739390263 @default.
- W1578701395 hasRelatedWork W4298032262 @default.
- W1578701395 isParatext "false" @default.
- W1578701395 isRetracted "false" @default.
- W1578701395 magId "1578701395" @default.
- W1578701395 workType "book-chapter" @default.