Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488686801> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1488686801 endingPage "276" @default.
- W1488686801 startingPage "263" @default.
- W1488686801 abstract "In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integration of the incremental analysis of numerical conflicts with the process of Boolean conflict analysis. This and other improvements lead to significant performance gains for some classes of problems." @default.
- W1488686801 created "2016-06-24" @default.
- W1488686801 creator A5012209374 @default.
- W1488686801 creator A5022825325 @default.
- W1488686801 creator A5075456281 @default.
- W1488686801 creator A5091290698 @default.
- W1488686801 date "2004-01-01" @default.
- W1488686801 modified "2023-10-01" @default.
- W1488686801 title "Some Progress in Satisfiability Checking for Difference Logic" @default.
- W1488686801 cites W1495026145 @default.
- W1488686801 cites W1514882327 @default.
- W1488686801 cites W1532000439 @default.
- W1488686801 cites W1535937574 @default.
- W1488686801 cites W1543010140 @default.
- W1488686801 cites W1563600186 @default.
- W1488686801 cites W1568333198 @default.
- W1488686801 cites W1571054242 @default.
- W1488686801 cites W1582571943 @default.
- W1488686801 cites W1948299783 @default.
- W1488686801 cites W1985882632 @default.
- W1488686801 cites W2003707332 @default.
- W1488686801 cites W2044560939 @default.
- W1488686801 cites W2063727779 @default.
- W1488686801 cites W2076785727 @default.
- W1488686801 cites W2088304441 @default.
- W1488686801 cites W2118382442 @default.
- W1488686801 cites W2142785340 @default.
- W1488686801 cites W4245630182 @default.
- W1488686801 doi "https://doi.org/10.1007/978-3-540-30206-3_19" @default.
- W1488686801 hasPublicationYear "2004" @default.
- W1488686801 type Work @default.
- W1488686801 sameAs 1488686801 @default.
- W1488686801 citedByCount "24" @default.
- W1488686801 countsByYear W14886868012013 @default.
- W1488686801 countsByYear W14886868012014 @default.
- W1488686801 countsByYear W14886868012015 @default.
- W1488686801 countsByYear W14886868012017 @default.
- W1488686801 countsByYear W14886868012018 @default.
- W1488686801 countsByYear W14886868012019 @default.
- W1488686801 countsByYear W14886868012020 @default.
- W1488686801 countsByYear W14886868012021 @default.
- W1488686801 countsByYear W14886868012023 @default.
- W1488686801 crossrefType "book-chapter" @default.
- W1488686801 hasAuthorship W1488686801A5012209374 @default.
- W1488686801 hasAuthorship W1488686801A5022825325 @default.
- W1488686801 hasAuthorship W1488686801A5075456281 @default.
- W1488686801 hasAuthorship W1488686801A5091290698 @default.
- W1488686801 hasBestOaLocation W14886868012 @default.
- W1488686801 hasConcept C11413529 @default.
- W1488686801 hasConcept C115903868 @default.
- W1488686801 hasConcept C131017901 @default.
- W1488686801 hasConcept C138885662 @default.
- W1488686801 hasConcept C157922185 @default.
- W1488686801 hasConcept C168773769 @default.
- W1488686801 hasConcept C199360897 @default.
- W1488686801 hasConcept C27206212 @default.
- W1488686801 hasConcept C2778738651 @default.
- W1488686801 hasConcept C2778770139 @default.
- W1488686801 hasConcept C3019612716 @default.
- W1488686801 hasConcept C41008148 @default.
- W1488686801 hasConcept C6943359 @default.
- W1488686801 hasConcept C69562738 @default.
- W1488686801 hasConcept C80444323 @default.
- W1488686801 hasConcept C98045186 @default.
- W1488686801 hasConceptScore W1488686801C11413529 @default.
- W1488686801 hasConceptScore W1488686801C115903868 @default.
- W1488686801 hasConceptScore W1488686801C131017901 @default.
- W1488686801 hasConceptScore W1488686801C138885662 @default.
- W1488686801 hasConceptScore W1488686801C157922185 @default.
- W1488686801 hasConceptScore W1488686801C168773769 @default.
- W1488686801 hasConceptScore W1488686801C199360897 @default.
- W1488686801 hasConceptScore W1488686801C27206212 @default.
- W1488686801 hasConceptScore W1488686801C2778738651 @default.
- W1488686801 hasConceptScore W1488686801C2778770139 @default.
- W1488686801 hasConceptScore W1488686801C3019612716 @default.
- W1488686801 hasConceptScore W1488686801C41008148 @default.
- W1488686801 hasConceptScore W1488686801C6943359 @default.
- W1488686801 hasConceptScore W1488686801C69562738 @default.
- W1488686801 hasConceptScore W1488686801C80444323 @default.
- W1488686801 hasConceptScore W1488686801C98045186 @default.
- W1488686801 hasLocation W14886868011 @default.
- W1488686801 hasLocation W14886868012 @default.
- W1488686801 hasOpenAccess W1488686801 @default.
- W1488686801 hasPrimaryLocation W14886868011 @default.
- W1488686801 hasRelatedWork W139679001 @default.
- W1488686801 hasRelatedWork W152362803 @default.
- W1488686801 hasRelatedWork W1555272910 @default.
- W1488686801 hasRelatedWork W2111224220 @default.
- W1488686801 hasRelatedWork W2128344648 @default.
- W1488686801 hasRelatedWork W2160562204 @default.
- W1488686801 hasRelatedWork W2765338075 @default.
- W1488686801 hasRelatedWork W2998265132 @default.
- W1488686801 hasRelatedWork W3012061787 @default.
- W1488686801 hasRelatedWork W4293179600 @default.
- W1488686801 isParatext "false" @default.
- W1488686801 isRetracted "false" @default.
- W1488686801 magId "1488686801" @default.
- W1488686801 workType "book-chapter" @default.