Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556799522> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1556799522 endingPage "108" @default.
- W1556799522 startingPage "91" @default.
- W1556799522 abstract "The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR from equality to arbitrary binary relations. By choosing the appropriate relations, we can derive fast incremental algorithms for solving certain propositional logic (SAT) problems and polynomial equations in two variables. In general, we prove that when the relations are bijective functions, our generalisation yields a correct algorithm. We also show that bijectivity is a necessary condition for correctness if the relations include the identity function. The rules of our generic algorithm have additional properties that make them suitable for incorporation into constraint solvers: from classical union-find, they inherit a compact solved form and quasi-linear time and space complexity. By nature of CHR, they are anytime and online algorithms. They solve and simplify the constraints in the problem, and can test them for entailment, even when the constraints arrive incrementally." @default.
- W1556799522 created "2016-06-24" @default.
- W1556799522 creator A5032517478 @default.
- W1556799522 date "2008-01-01" @default.
- W1556799522 modified "2023-09-24" @default.
- W1556799522 title "Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR" @default.
- W1556799522 cites W1498867194 @default.
- W1556799522 cites W1515441675 @default.
- W1556799522 cites W1965680834 @default.
- W1556799522 cites W2011992362 @default.
- W1556799522 cites W2019417713 @default.
- W1556799522 cites W2031823362 @default.
- W1556799522 cites W2044146725 @default.
- W1556799522 cites W2060354186 @default.
- W1556799522 cites W2079107830 @default.
- W1556799522 cites W2079333278 @default.
- W1556799522 cites W2101344335 @default.
- W1556799522 cites W2135105491 @default.
- W1556799522 doi "https://doi.org/10.1007/978-3-540-89812-2_7" @default.
- W1556799522 hasPublicationYear "2008" @default.
- W1556799522 type Work @default.
- W1556799522 sameAs 1556799522 @default.
- W1556799522 citedByCount "1" @default.
- W1556799522 countsByYear W15567995222015 @default.
- W1556799522 crossrefType "book-chapter" @default.
- W1556799522 hasAuthorship W1556799522A5032517478 @default.
- W1556799522 hasBestOaLocation W15567995222 @default.
- W1556799522 hasConcept C111472728 @default.
- W1556799522 hasConcept C11413529 @default.
- W1556799522 hasConcept C118615104 @default.
- W1556799522 hasConcept C134306372 @default.
- W1556799522 hasConcept C138885662 @default.
- W1556799522 hasConcept C14036430 @default.
- W1556799522 hasConcept C2780586882 @default.
- W1556799522 hasConcept C311688 @default.
- W1556799522 hasConcept C33923547 @default.
- W1556799522 hasConcept C41008148 @default.
- W1556799522 hasConcept C48372109 @default.
- W1556799522 hasConcept C55439883 @default.
- W1556799522 hasConcept C65180967 @default.
- W1556799522 hasConcept C69562738 @default.
- W1556799522 hasConcept C78458016 @default.
- W1556799522 hasConcept C86803240 @default.
- W1556799522 hasConcept C90119067 @default.
- W1556799522 hasConcept C94375191 @default.
- W1556799522 hasConceptScore W1556799522C111472728 @default.
- W1556799522 hasConceptScore W1556799522C11413529 @default.
- W1556799522 hasConceptScore W1556799522C118615104 @default.
- W1556799522 hasConceptScore W1556799522C134306372 @default.
- W1556799522 hasConceptScore W1556799522C138885662 @default.
- W1556799522 hasConceptScore W1556799522C14036430 @default.
- W1556799522 hasConceptScore W1556799522C2780586882 @default.
- W1556799522 hasConceptScore W1556799522C311688 @default.
- W1556799522 hasConceptScore W1556799522C33923547 @default.
- W1556799522 hasConceptScore W1556799522C41008148 @default.
- W1556799522 hasConceptScore W1556799522C48372109 @default.
- W1556799522 hasConceptScore W1556799522C55439883 @default.
- W1556799522 hasConceptScore W1556799522C65180967 @default.
- W1556799522 hasConceptScore W1556799522C69562738 @default.
- W1556799522 hasConceptScore W1556799522C78458016 @default.
- W1556799522 hasConceptScore W1556799522C86803240 @default.
- W1556799522 hasConceptScore W1556799522C90119067 @default.
- W1556799522 hasConceptScore W1556799522C94375191 @default.
- W1556799522 hasLocation W15567995221 @default.
- W1556799522 hasLocation W15567995222 @default.
- W1556799522 hasOpenAccess W1556799522 @default.
- W1556799522 hasPrimaryLocation W15567995221 @default.
- W1556799522 hasRelatedWork W1525829788 @default.
- W1556799522 hasRelatedWork W1527864386 @default.
- W1556799522 hasRelatedWork W1550016006 @default.
- W1556799522 hasRelatedWork W1989776440 @default.
- W1556799522 hasRelatedWork W2107287896 @default.
- W1556799522 hasRelatedWork W2359199758 @default.
- W1556799522 hasRelatedWork W2369631240 @default.
- W1556799522 hasRelatedWork W2899577756 @default.
- W1556799522 hasRelatedWork W2954071061 @default.
- W1556799522 hasRelatedWork W3089684342 @default.
- W1556799522 isParatext "false" @default.
- W1556799522 isRetracted "false" @default.
- W1556799522 magId "1556799522" @default.
- W1556799522 workType "book-chapter" @default.