Matches in SemOpenAlex for { <https://semopenalex.org/work/W3197014198> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3197014198 abstract "We investigate the integration of SAT technology into clausal connection-tableau systems for classical first-order logic. Clauses present in tableaux during backtracking search are heuristically grounded and added to an incremental SAT solver. If the solver reports an unsatisfiable set of ground clauses at any point, search may be halted and a proof reported. This technique alone is surprisingly effective, but also supports further refinements “for free”. In particular we further investigate depth control of randomised search based on grounded clauses, and a kind of ground lemmata rule derived from the partial SAT model." @default.
- W3197014198 created "2021-09-13" @default.
- W3197014198 creator A5052066515 @default.
- W3197014198 creator A5080196917 @default.
- W3197014198 date "2021-01-01" @default.
- W3197014198 modified "2023-10-16" @default.
- W3197014198 title "Eliminating Models During Model Elimination" @default.
- W3197014198 cites W102946451 @default.
- W3197014198 cites W1517155625 @default.
- W3197014198 cites W1526382310 @default.
- W3197014198 cites W1535111077 @default.
- W3197014198 cites W1583869287 @default.
- W3197014198 cites W158985585 @default.
- W3197014198 cites W1781094 @default.
- W3197014198 cites W1826940506 @default.
- W3197014198 cites W1846589774 @default.
- W3197014198 cites W1982239968 @default.
- W3197014198 cites W1995539874 @default.
- W3197014198 cites W1997110410 @default.
- W3197014198 cites W2018221833 @default.
- W3197014198 cites W2044560939 @default.
- W3197014198 cites W2049460548 @default.
- W3197014198 cites W2123396057 @default.
- W3197014198 cites W2126869384 @default.
- W3197014198 cites W2137351629 @default.
- W3197014198 cites W2151523288 @default.
- W3197014198 cites W2153177892 @default.
- W3197014198 cites W2184838578 @default.
- W3197014198 cites W2221495694 @default.
- W3197014198 cites W2275159275 @default.
- W3197014198 cites W2470240105 @default.
- W3197014198 cites W2484885137 @default.
- W3197014198 cites W2560696689 @default.
- W3197014198 cites W2588018425 @default.
- W3197014198 cites W2969992190 @default.
- W3197014198 cites W2985118882 @default.
- W3197014198 cites W3083107390 @default.
- W3197014198 cites W3102252921 @default.
- W3197014198 cites W3193251185 @default.
- W3197014198 cites W41512512 @default.
- W3197014198 cites W4246137066 @default.
- W3197014198 doi "https://doi.org/10.1007/978-3-030-86059-2_15" @default.
- W3197014198 hasPublicationYear "2021" @default.
- W3197014198 type Work @default.
- W3197014198 sameAs 3197014198 @default.
- W3197014198 citedByCount "0" @default.
- W3197014198 crossrefType "book-chapter" @default.
- W3197014198 hasAuthorship W3197014198A5052066515 @default.
- W3197014198 hasAuthorship W3197014198A5080196917 @default.
- W3197014198 hasConcept C100481476 @default.
- W3197014198 hasConcept C11413529 @default.
- W3197014198 hasConcept C13355873 @default.
- W3197014198 hasConcept C156884757 @default.
- W3197014198 hasConcept C168773769 @default.
- W3197014198 hasConcept C177264268 @default.
- W3197014198 hasConcept C199360897 @default.
- W3197014198 hasConcept C2524010 @default.
- W3197014198 hasConcept C2778770139 @default.
- W3197014198 hasConcept C28719098 @default.
- W3197014198 hasConcept C3019612716 @default.
- W3197014198 hasConcept C33923547 @default.
- W3197014198 hasConcept C41008148 @default.
- W3197014198 hasConcept C459310 @default.
- W3197014198 hasConcept C6943359 @default.
- W3197014198 hasConcept C80444323 @default.
- W3197014198 hasConceptScore W3197014198C100481476 @default.
- W3197014198 hasConceptScore W3197014198C11413529 @default.
- W3197014198 hasConceptScore W3197014198C13355873 @default.
- W3197014198 hasConceptScore W3197014198C156884757 @default.
- W3197014198 hasConceptScore W3197014198C168773769 @default.
- W3197014198 hasConceptScore W3197014198C177264268 @default.
- W3197014198 hasConceptScore W3197014198C199360897 @default.
- W3197014198 hasConceptScore W3197014198C2524010 @default.
- W3197014198 hasConceptScore W3197014198C2778770139 @default.
- W3197014198 hasConceptScore W3197014198C28719098 @default.
- W3197014198 hasConceptScore W3197014198C3019612716 @default.
- W3197014198 hasConceptScore W3197014198C33923547 @default.
- W3197014198 hasConceptScore W3197014198C41008148 @default.
- W3197014198 hasConceptScore W3197014198C459310 @default.
- W3197014198 hasConceptScore W3197014198C6943359 @default.
- W3197014198 hasConceptScore W3197014198C80444323 @default.
- W3197014198 hasLocation W31970141981 @default.
- W3197014198 hasOpenAccess W3197014198 @default.
- W3197014198 hasPrimaryLocation W31970141981 @default.
- W3197014198 hasRelatedWork W11016543 @default.
- W3197014198 hasRelatedWork W12544054 @default.
- W3197014198 hasRelatedWork W1802230 @default.
- W3197014198 hasRelatedWork W2882144 @default.
- W3197014198 hasRelatedWork W5281039 @default.
- W3197014198 hasRelatedWork W5574817 @default.
- W3197014198 hasRelatedWork W563404 @default.
- W3197014198 hasRelatedWork W5963666 @default.
- W3197014198 hasRelatedWork W6008397 @default.
- W3197014198 hasRelatedWork W972044 @default.
- W3197014198 isParatext "false" @default.
- W3197014198 isRetracted "false" @default.
- W3197014198 magId "3197014198" @default.
- W3197014198 workType "book-chapter" @default.