Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949302008> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2949302008 endingPage "31" @default.
- W2949302008 startingPage "24" @default.
- W2949302008 abstract "In the paper which inspired the SC-Square project, [E. Abraham, Building Bridges between Symbolic Computation and Satisfiability Checking, Proc. ISSAC '15, pp. 1-6, ACM, 2015] the author identified the use of sophisticated heuristics as a technique that the Satisfiability Checking community excels in and from which it is likely the Symbolic Computation community could learn and prosper. To start this learning process we summarise our experience with heuristic development for the computer algebra algorithm Cylindrical Algebraic Decomposition. We also propose and discuss standards and benchmarks as another area where Symbolic Computation could prosper from Satisfiability Checking expertise, noting that these have been identified as initial actions for the new SC-Square community in the CSA project, as described in [E.~Abraham et al., SC$^2$: Satisfiability Checking meets Symbolic Computation (Project Paper)}, Intelligent Computer Mathematics (LNCS 9761), pp. 28--43, Springer, 2015]." @default.
- W2949302008 created "2019-06-27" @default.
- W2949302008 creator A5043054372 @default.
- W2949302008 creator A5052550722 @default.
- W2949302008 date "2017-03-02" @default.
- W2949302008 modified "2023-09-27" @default.
- W2949302008 title "Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition" @default.
- W2949302008 hasPublicationYear "2017" @default.
- W2949302008 type Work @default.
- W2949302008 sameAs 2949302008 @default.
- W2949302008 citedByCount "1" @default.
- W2949302008 countsByYear W29493020082018 @default.
- W2949302008 crossrefType "journal-article" @default.
- W2949302008 hasAuthorship W2949302008A5043054372 @default.
- W2949302008 hasAuthorship W2949302008A5052550722 @default.
- W2949302008 hasConcept C110251889 @default.
- W2949302008 hasConcept C110812573 @default.
- W2949302008 hasConcept C111919701 @default.
- W2949302008 hasConcept C11413529 @default.
- W2949302008 hasConcept C124681953 @default.
- W2949302008 hasConcept C127705205 @default.
- W2949302008 hasConcept C134306372 @default.
- W2949302008 hasConcept C135692309 @default.
- W2949302008 hasConcept C136119220 @default.
- W2949302008 hasConcept C154945302 @default.
- W2949302008 hasConcept C167324811 @default.
- W2949302008 hasConcept C168773769 @default.
- W2949302008 hasConcept C173801870 @default.
- W2949302008 hasConcept C18903297 @default.
- W2949302008 hasConcept C202444582 @default.
- W2949302008 hasConcept C2524010 @default.
- W2949302008 hasConcept C33923547 @default.
- W2949302008 hasConcept C41008148 @default.
- W2949302008 hasConcept C45374587 @default.
- W2949302008 hasConcept C80444323 @default.
- W2949302008 hasConcept C86803240 @default.
- W2949302008 hasConcept C9376300 @default.
- W2949302008 hasConceptScore W2949302008C110251889 @default.
- W2949302008 hasConceptScore W2949302008C110812573 @default.
- W2949302008 hasConceptScore W2949302008C111919701 @default.
- W2949302008 hasConceptScore W2949302008C11413529 @default.
- W2949302008 hasConceptScore W2949302008C124681953 @default.
- W2949302008 hasConceptScore W2949302008C127705205 @default.
- W2949302008 hasConceptScore W2949302008C134306372 @default.
- W2949302008 hasConceptScore W2949302008C135692309 @default.
- W2949302008 hasConceptScore W2949302008C136119220 @default.
- W2949302008 hasConceptScore W2949302008C154945302 @default.
- W2949302008 hasConceptScore W2949302008C167324811 @default.
- W2949302008 hasConceptScore W2949302008C168773769 @default.
- W2949302008 hasConceptScore W2949302008C173801870 @default.
- W2949302008 hasConceptScore W2949302008C18903297 @default.
- W2949302008 hasConceptScore W2949302008C202444582 @default.
- W2949302008 hasConceptScore W2949302008C2524010 @default.
- W2949302008 hasConceptScore W2949302008C33923547 @default.
- W2949302008 hasConceptScore W2949302008C41008148 @default.
- W2949302008 hasConceptScore W2949302008C45374587 @default.
- W2949302008 hasConceptScore W2949302008C80444323 @default.
- W2949302008 hasConceptScore W2949302008C86803240 @default.
- W2949302008 hasConceptScore W2949302008C9376300 @default.
- W2949302008 hasLocation W29493020081 @default.
- W2949302008 hasOpenAccess W2949302008 @default.
- W2949302008 hasPrimaryLocation W29493020081 @default.
- W2949302008 hasRelatedWork W1507228812 @default.
- W2949302008 hasRelatedWork W1510247135 @default.
- W2949302008 hasRelatedWork W160707985 @default.
- W2949302008 hasRelatedWork W1996183456 @default.
- W2949302008 hasRelatedWork W2083355299 @default.
- W2949302008 hasRelatedWork W2119556988 @default.
- W2949302008 hasRelatedWork W2128307932 @default.
- W2949302008 hasRelatedWork W2168826833 @default.
- W2949302008 hasRelatedWork W2307340323 @default.
- W2949302008 hasRelatedWork W2522679418 @default.
- W2949302008 hasRelatedWork W2529810318 @default.
- W2949302008 hasRelatedWork W2946646516 @default.
- W2949302008 hasRelatedWork W2951586102 @default.
- W2949302008 hasRelatedWork W2962724920 @default.
- W2949302008 hasRelatedWork W3102601952 @default.
- W2949302008 hasRelatedWork W3118763706 @default.
- W2949302008 hasRelatedWork W3150892453 @default.
- W2949302008 hasRelatedWork W425790708 @default.
- W2949302008 hasRelatedWork W2168059928 @default.
- W2949302008 hasRelatedWork W2223587537 @default.
- W2949302008 isParatext "false" @default.
- W2949302008 isRetracted "false" @default.
- W2949302008 magId "2949302008" @default.
- W2949302008 workType "article" @default.