Matches in SemOpenAlex for { <https://semopenalex.org/work/W2557804988> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2557804988 abstract "Inventing targeted proof search strategies for specific problem sets is a difficult task. State-of-the-art automated theorem provers (ATPs) such as E allow a large number of user-specified proof search strategies described in a rich domain specific language. Several machine learning methods that invent strategies automatically for ATPs were proposed previously. One of them is the Blind Strategymaker (BliStr), a system for automated invention of ATP strategies." @default.
- W2557804988 created "2016-12-08" @default.
- W2557804988 creator A5028662024 @default.
- W2557804988 creator A5031019731 @default.
- W2557804988 date "2017-01-16" @default.
- W2557804988 modified "2023-10-16" @default.
- W2557804988 title "BliStrTune: hierarchical invention of theorem proving strategies" @default.
- W2557804988 cites W1495433690 @default.
- W2557804988 cites W1623345509 @default.
- W2557804988 cites W1976373002 @default.
- W2557804988 cites W1982239968 @default.
- W2557804988 cites W1995539874 @default.
- W2557804988 cites W2064800569 @default.
- W2557804988 cites W2156433885 @default.
- W2557804988 cites W2310495003 @default.
- W2557804988 doi "https://doi.org/10.1145/3018610.3018619" @default.
- W2557804988 hasPublicationYear "2017" @default.
- W2557804988 type Work @default.
- W2557804988 sameAs 2557804988 @default.
- W2557804988 citedByCount "12" @default.
- W2557804988 countsByYear W25578049882017 @default.
- W2557804988 countsByYear W25578049882018 @default.
- W2557804988 countsByYear W25578049882019 @default.
- W2557804988 countsByYear W25578049882021 @default.
- W2557804988 countsByYear W25578049882022 @default.
- W2557804988 crossrefType "proceedings-article" @default.
- W2557804988 hasAuthorship W2557804988A5028662024 @default.
- W2557804988 hasAuthorship W2557804988A5031019731 @default.
- W2557804988 hasBestOaLocation W25578049882 @default.
- W2557804988 hasConcept C119857082 @default.
- W2557804988 hasConcept C127413603 @default.
- W2557804988 hasConcept C134306372 @default.
- W2557804988 hasConcept C154945302 @default.
- W2557804988 hasConcept C201995342 @default.
- W2557804988 hasConcept C206880738 @default.
- W2557804988 hasConcept C2780451532 @default.
- W2557804988 hasConcept C33923547 @default.
- W2557804988 hasConcept C36503486 @default.
- W2557804988 hasConcept C41008148 @default.
- W2557804988 hasConcept C80444323 @default.
- W2557804988 hasConceptScore W2557804988C119857082 @default.
- W2557804988 hasConceptScore W2557804988C127413603 @default.
- W2557804988 hasConceptScore W2557804988C134306372 @default.
- W2557804988 hasConceptScore W2557804988C154945302 @default.
- W2557804988 hasConceptScore W2557804988C201995342 @default.
- W2557804988 hasConceptScore W2557804988C206880738 @default.
- W2557804988 hasConceptScore W2557804988C2780451532 @default.
- W2557804988 hasConceptScore W2557804988C33923547 @default.
- W2557804988 hasConceptScore W2557804988C36503486 @default.
- W2557804988 hasConceptScore W2557804988C41008148 @default.
- W2557804988 hasConceptScore W2557804988C80444323 @default.
- W2557804988 hasFunder F4320338335 @default.
- W2557804988 hasLocation W25578049881 @default.
- W2557804988 hasLocation W25578049882 @default.
- W2557804988 hasOpenAccess W2557804988 @default.
- W2557804988 hasPrimaryLocation W25578049881 @default.
- W2557804988 hasRelatedWork W2081647779 @default.
- W2557804988 hasRelatedWork W2961085424 @default.
- W2557804988 hasRelatedWork W3046775127 @default.
- W2557804988 hasRelatedWork W3170094116 @default.
- W2557804988 hasRelatedWork W4205958290 @default.
- W2557804988 hasRelatedWork W4285260836 @default.
- W2557804988 hasRelatedWork W4286629047 @default.
- W2557804988 hasRelatedWork W4306321456 @default.
- W2557804988 hasRelatedWork W4306674287 @default.
- W2557804988 hasRelatedWork W4224009465 @default.
- W2557804988 isParatext "false" @default.
- W2557804988 isRetracted "false" @default.
- W2557804988 magId "2557804988" @default.
- W2557804988 workType "article" @default.