Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138259059> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2138259059 endingPage "618" @default.
- W2138259059 startingPage "601" @default.
- W2138259059 abstract "Abstract Constraint Handling Rules (CHRs) are a high-level rule-based programming language for specification and implementation of constraint solvers. CHR manipulates a global store representing a flat conjunction of constraints. By default, CHR does not support goals with a more complex propositional structure including disjunction, negation, etc., or CHR relies on the host system to provide such features. In this paper we introduce Satisfiability Modulo Constraint Handling Rules (SMCHR): a tight integration of CHR with a modern Boolean Satisfiability (SAT) solver for quantifier-free formulae with an arbitrary propositional structure. SMCHR is essentially a Satisfiability Modulo Theories (SMT) solver where the theory T is implemented in CHR. The execution algorithm of SMCHR is based on lazy clause generation , where a new clause for the SAT solver is generated whenever a rule is applied. We shall also explore the practical aspects of building an SMCHR system, including extending a “built-in” constraint solver supporting equality with unification and justifications." @default.
- W2138259059 created "2016-06-24" @default.
- W2138259059 creator A5069809962 @default.
- W2138259059 date "2012-07-01" @default.
- W2138259059 modified "2023-10-16" @default.
- W2138259059 title "SMCHR: Satisfiability modulo constraint handling rules" @default.
- W2138259059 cites W1498867194 @default.
- W2138259059 cites W1551925211 @default.
- W2138259059 cites W1578535952 @default.
- W2138259059 cites W2005907808 @default.
- W2138259059 cites W2022846948 @default.
- W2138259059 cites W2055306445 @default.
- W2138259059 cites W2059035667 @default.
- W2138259059 cites W2107415004 @default.
- W2138259059 cites W2137351629 @default.
- W2138259059 cites W2911601159 @default.
- W2138259059 doi "https://doi.org/10.1017/s1471068412000208" @default.
- W2138259059 hasPublicationYear "2012" @default.
- W2138259059 type Work @default.
- W2138259059 sameAs 2138259059 @default.
- W2138259059 citedByCount "8" @default.
- W2138259059 countsByYear W21382590592013 @default.
- W2138259059 countsByYear W21382590592014 @default.
- W2138259059 countsByYear W21382590592018 @default.
- W2138259059 countsByYear W21382590592019 @default.
- W2138259059 crossrefType "journal-article" @default.
- W2138259059 hasAuthorship W2138259059A5069809962 @default.
- W2138259059 hasBestOaLocation W21382590592 @default.
- W2138259059 hasConcept C118615104 @default.
- W2138259059 hasConcept C126255220 @default.
- W2138259059 hasConcept C137631369 @default.
- W2138259059 hasConcept C154945302 @default.
- W2138259059 hasConcept C16221470 @default.
- W2138259059 hasConcept C164155591 @default.
- W2138259059 hasConcept C168773769 @default.
- W2138259059 hasConcept C173404611 @default.
- W2138259059 hasConcept C176783269 @default.
- W2138259059 hasConcept C199360897 @default.
- W2138259059 hasConcept C199622910 @default.
- W2138259059 hasConcept C2185349 @default.
- W2138259059 hasConcept C2524010 @default.
- W2138259059 hasConcept C2776036281 @default.
- W2138259059 hasConcept C2778770139 @default.
- W2138259059 hasConcept C33923547 @default.
- W2138259059 hasConcept C41008148 @default.
- W2138259059 hasConcept C44616089 @default.
- W2138259059 hasConcept C49937458 @default.
- W2138259059 hasConcept C54732982 @default.
- W2138259059 hasConcept C6943359 @default.
- W2138259059 hasConcept C69562738 @default.
- W2138259059 hasConcept C80444323 @default.
- W2138259059 hasConcept C96146094 @default.
- W2138259059 hasConceptScore W2138259059C118615104 @default.
- W2138259059 hasConceptScore W2138259059C126255220 @default.
- W2138259059 hasConceptScore W2138259059C137631369 @default.
- W2138259059 hasConceptScore W2138259059C154945302 @default.
- W2138259059 hasConceptScore W2138259059C16221470 @default.
- W2138259059 hasConceptScore W2138259059C164155591 @default.
- W2138259059 hasConceptScore W2138259059C168773769 @default.
- W2138259059 hasConceptScore W2138259059C173404611 @default.
- W2138259059 hasConceptScore W2138259059C176783269 @default.
- W2138259059 hasConceptScore W2138259059C199360897 @default.
- W2138259059 hasConceptScore W2138259059C199622910 @default.
- W2138259059 hasConceptScore W2138259059C2185349 @default.
- W2138259059 hasConceptScore W2138259059C2524010 @default.
- W2138259059 hasConceptScore W2138259059C2776036281 @default.
- W2138259059 hasConceptScore W2138259059C2778770139 @default.
- W2138259059 hasConceptScore W2138259059C33923547 @default.
- W2138259059 hasConceptScore W2138259059C41008148 @default.
- W2138259059 hasConceptScore W2138259059C44616089 @default.
- W2138259059 hasConceptScore W2138259059C49937458 @default.
- W2138259059 hasConceptScore W2138259059C54732982 @default.
- W2138259059 hasConceptScore W2138259059C6943359 @default.
- W2138259059 hasConceptScore W2138259059C69562738 @default.
- W2138259059 hasConceptScore W2138259059C80444323 @default.
- W2138259059 hasConceptScore W2138259059C96146094 @default.
- W2138259059 hasIssue "4-5" @default.
- W2138259059 hasLocation W21382590591 @default.
- W2138259059 hasLocation W21382590592 @default.
- W2138259059 hasLocation W21382590593 @default.
- W2138259059 hasOpenAccess W2138259059 @default.
- W2138259059 hasPrimaryLocation W21382590591 @default.
- W2138259059 hasRelatedWork W192699810 @default.
- W2138259059 hasRelatedWork W2088192118 @default.
- W2138259059 hasRelatedWork W2121531736 @default.
- W2138259059 hasRelatedWork W2138259059 @default.
- W2138259059 hasRelatedWork W2293171224 @default.
- W2138259059 hasRelatedWork W2401079607 @default.
- W2138259059 hasRelatedWork W2952339216 @default.
- W2138259059 hasRelatedWork W3134249384 @default.
- W2138259059 hasRelatedWork W4300784158 @default.
- W2138259059 hasRelatedWork W4302766893 @default.
- W2138259059 hasVolume "12" @default.
- W2138259059 isParatext "false" @default.
- W2138259059 isRetracted "false" @default.
- W2138259059 magId "2138259059" @default.
- W2138259059 workType "article" @default.