Matches in SemOpenAlex for { <https://semopenalex.org/work/W1563516866> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1563516866 endingPage "138" @default.
- W1563516866 startingPage "124" @default.
- W1563516866 abstract "The design and implementation of constraint logic programming (CLP) languages over intervals is revisited. Instead of decomposing complex constraints in terms of simple primitive constraints as in CLP(BNR), complex constraints are manipulated as a whole, enabling more sophisticated narrowing procedures to be applied in the solver. This idea is embodied in a new CLP language Newton whose operational semantics is based on the notion of box-consistency, an approximation of arc-consistency, and whose implementation uses Newton interval method. Experimental results indicate that Newton outperforms existing languages by an order of magnitude and is competitive with some state-of-the-art tools on some standard benchmarks. Limitations of our current implementation and directions for further work are also identified." @default.
- W1563516866 created "2016-06-24" @default.
- W1563516866 creator A5017024306 @default.
- W1563516866 creator A5033089246 @default.
- W1563516866 creator A5035808622 @default.
- W1563516866 date "1994-11-01" @default.
- W1563516866 modified "2023-09-23" @default.
- W1563516866 title "CLP(intervals) revisited" @default.
- W1563516866 hasPublicationYear "1994" @default.
- W1563516866 type Work @default.
- W1563516866 sameAs 1563516866 @default.
- W1563516866 citedByCount "107" @default.
- W1563516866 countsByYear W15635168662012 @default.
- W1563516866 countsByYear W15635168662013 @default.
- W1563516866 countsByYear W15635168662014 @default.
- W1563516866 countsByYear W15635168662015 @default.
- W1563516866 countsByYear W15635168662017 @default.
- W1563516866 countsByYear W15635168662018 @default.
- W1563516866 countsByYear W15635168662020 @default.
- W1563516866 crossrefType "proceedings-article" @default.
- W1563516866 hasAuthorship W1563516866A5017024306 @default.
- W1563516866 hasAuthorship W1563516866A5033089246 @default.
- W1563516866 hasAuthorship W1563516866A5035808622 @default.
- W1563516866 hasConcept C111472728 @default.
- W1563516866 hasConcept C11413529 @default.
- W1563516866 hasConcept C126255220 @default.
- W1563516866 hasConcept C134306372 @default.
- W1563516866 hasConcept C137105694 @default.
- W1563516866 hasConcept C137631369 @default.
- W1563516866 hasConcept C138885662 @default.
- W1563516866 hasConcept C154945302 @default.
- W1563516866 hasConcept C173404611 @default.
- W1563516866 hasConcept C176783269 @default.
- W1563516866 hasConcept C184337299 @default.
- W1563516866 hasConcept C191252586 @default.
- W1563516866 hasConcept C199360897 @default.
- W1563516866 hasConcept C2524010 @default.
- W1563516866 hasConcept C2776036281 @default.
- W1563516866 hasConcept C2776436953 @default.
- W1563516866 hasConcept C2778770139 @default.
- W1563516866 hasConcept C2780586882 @default.
- W1563516866 hasConcept C33923547 @default.
- W1563516866 hasConcept C34388435 @default.
- W1563516866 hasConcept C41008148 @default.
- W1563516866 hasConcept C44616089 @default.
- W1563516866 hasConcept C49937458 @default.
- W1563516866 hasConcept C80444323 @default.
- W1563516866 hasConceptScore W1563516866C111472728 @default.
- W1563516866 hasConceptScore W1563516866C11413529 @default.
- W1563516866 hasConceptScore W1563516866C126255220 @default.
- W1563516866 hasConceptScore W1563516866C134306372 @default.
- W1563516866 hasConceptScore W1563516866C137105694 @default.
- W1563516866 hasConceptScore W1563516866C137631369 @default.
- W1563516866 hasConceptScore W1563516866C138885662 @default.
- W1563516866 hasConceptScore W1563516866C154945302 @default.
- W1563516866 hasConceptScore W1563516866C173404611 @default.
- W1563516866 hasConceptScore W1563516866C176783269 @default.
- W1563516866 hasConceptScore W1563516866C184337299 @default.
- W1563516866 hasConceptScore W1563516866C191252586 @default.
- W1563516866 hasConceptScore W1563516866C199360897 @default.
- W1563516866 hasConceptScore W1563516866C2524010 @default.
- W1563516866 hasConceptScore W1563516866C2776036281 @default.
- W1563516866 hasConceptScore W1563516866C2776436953 @default.
- W1563516866 hasConceptScore W1563516866C2778770139 @default.
- W1563516866 hasConceptScore W1563516866C2780586882 @default.
- W1563516866 hasConceptScore W1563516866C33923547 @default.
- W1563516866 hasConceptScore W1563516866C34388435 @default.
- W1563516866 hasConceptScore W1563516866C41008148 @default.
- W1563516866 hasConceptScore W1563516866C44616089 @default.
- W1563516866 hasConceptScore W1563516866C49937458 @default.
- W1563516866 hasConceptScore W1563516866C80444323 @default.
- W1563516866 hasLocation W15635168661 @default.
- W1563516866 hasOpenAccess W1563516866 @default.
- W1563516866 hasPrimaryLocation W15635168661 @default.
- W1563516866 hasRelatedWork W1483874187 @default.
- W1563516866 hasRelatedWork W1518355145 @default.
- W1563516866 hasRelatedWork W1548650523 @default.
- W1563516866 hasRelatedWork W1580809199 @default.
- W1563516866 hasRelatedWork W1588693185 @default.
- W1563516866 hasRelatedWork W1595068075 @default.
- W1563516866 hasRelatedWork W1602856035 @default.
- W1563516866 hasRelatedWork W1984540483 @default.
- W1563516866 hasRelatedWork W1988095917 @default.
- W1563516866 hasRelatedWork W1990426442 @default.
- W1563516866 hasRelatedWork W2042619750 @default.
- W1563516866 hasRelatedWork W2060924166 @default.
- W1563516866 hasRelatedWork W2067456686 @default.
- W1563516866 hasRelatedWork W2073787328 @default.
- W1563516866 hasRelatedWork W2084965339 @default.
- W1563516866 hasRelatedWork W2119456262 @default.
- W1563516866 hasRelatedWork W2123396057 @default.
- W1563516866 hasRelatedWork W2135432705 @default.
- W1563516866 hasRelatedWork W2167206762 @default.
- W1563516866 hasRelatedWork W3146520007 @default.
- W1563516866 isParatext "false" @default.
- W1563516866 isRetracted "false" @default.
- W1563516866 magId "1563516866" @default.
- W1563516866 workType "article" @default.