Matches in SemOpenAlex for { <https://semopenalex.org/work/W200028708> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W200028708 abstract "Local search techniques have widespread use for solving propositional satisfiability problems. We investigate the use of adaptive local search techniques for model generation problems for modal logics; we focus on the modal logic S5. A local search algorithm extended with an adaptive heuristic is presented and tested on an ensemble of randomly generated problem instances. We briefly discuss the limitations of using local search for other NP-complete modal logics." @default.
- W200028708 created "2016-06-24" @default.
- W200028708 creator A5031439294 @default.
- W200028708 creator A5079566054 @default.
- W200028708 date "2004-01-01" @default.
- W200028708 modified "2023-09-23" @default.
- W200028708 title "Local Search and Modal Logic" @default.
- W200028708 cites W2021025450 @default.
- W200028708 cites W2103981148 @default.
- W200028708 cites W2139460891 @default.
- W200028708 cites W2167658266 @default.
- W200028708 cites W2610670723 @default.
- W200028708 hasPublicationYear "2004" @default.
- W200028708 type Work @default.
- W200028708 sameAs 200028708 @default.
- W200028708 citedByCount "0" @default.
- W200028708 crossrefType "journal-article" @default.
- W200028708 hasAuthorship W200028708A5031439294 @default.
- W200028708 hasAuthorship W200028708A5079566054 @default.
- W200028708 hasConcept C102993220 @default.
- W200028708 hasConcept C11191006 @default.
- W200028708 hasConcept C114092440 @default.
- W200028708 hasConcept C11413529 @default.
- W200028708 hasConcept C118615104 @default.
- W200028708 hasConcept C120665830 @default.
- W200028708 hasConcept C121332964 @default.
- W200028708 hasConcept C125583679 @default.
- W200028708 hasConcept C135320971 @default.
- W200028708 hasConcept C139979381 @default.
- W200028708 hasConcept C154945302 @default.
- W200028708 hasConcept C168773769 @default.
- W200028708 hasConcept C173125200 @default.
- W200028708 hasConcept C173801870 @default.
- W200028708 hasConcept C185592680 @default.
- W200028708 hasConcept C188027245 @default.
- W200028708 hasConcept C192209626 @default.
- W200028708 hasConcept C19889080 @default.
- W200028708 hasConcept C203659156 @default.
- W200028708 hasConcept C27508121 @default.
- W200028708 hasConcept C33923547 @default.
- W200028708 hasConcept C41008148 @default.
- W200028708 hasConcept C6943359 @default.
- W200028708 hasConcept C69562738 @default.
- W200028708 hasConcept C71139939 @default.
- W200028708 hasConcept C80444323 @default.
- W200028708 hasConceptScore W200028708C102993220 @default.
- W200028708 hasConceptScore W200028708C11191006 @default.
- W200028708 hasConceptScore W200028708C114092440 @default.
- W200028708 hasConceptScore W200028708C11413529 @default.
- W200028708 hasConceptScore W200028708C118615104 @default.
- W200028708 hasConceptScore W200028708C120665830 @default.
- W200028708 hasConceptScore W200028708C121332964 @default.
- W200028708 hasConceptScore W200028708C125583679 @default.
- W200028708 hasConceptScore W200028708C135320971 @default.
- W200028708 hasConceptScore W200028708C139979381 @default.
- W200028708 hasConceptScore W200028708C154945302 @default.
- W200028708 hasConceptScore W200028708C168773769 @default.
- W200028708 hasConceptScore W200028708C173125200 @default.
- W200028708 hasConceptScore W200028708C173801870 @default.
- W200028708 hasConceptScore W200028708C185592680 @default.
- W200028708 hasConceptScore W200028708C188027245 @default.
- W200028708 hasConceptScore W200028708C192209626 @default.
- W200028708 hasConceptScore W200028708C19889080 @default.
- W200028708 hasConceptScore W200028708C203659156 @default.
- W200028708 hasConceptScore W200028708C27508121 @default.
- W200028708 hasConceptScore W200028708C33923547 @default.
- W200028708 hasConceptScore W200028708C41008148 @default.
- W200028708 hasConceptScore W200028708C6943359 @default.
- W200028708 hasConceptScore W200028708C69562738 @default.
- W200028708 hasConceptScore W200028708C71139939 @default.
- W200028708 hasConceptScore W200028708C80444323 @default.
- W200028708 hasOpenAccess W200028708 @default.
- W200028708 hasRelatedWork W120262183 @default.
- W200028708 hasRelatedWork W1492245531 @default.
- W200028708 hasRelatedWork W1492647040 @default.
- W200028708 hasRelatedWork W1513339412 @default.
- W200028708 hasRelatedWork W1530916125 @default.
- W200028708 hasRelatedWork W1554833845 @default.
- W200028708 hasRelatedWork W1555800778 @default.
- W200028708 hasRelatedWork W201372017 @default.
- W200028708 hasRelatedWork W2110322351 @default.
- W200028708 hasRelatedWork W2113066314 @default.
- W200028708 hasRelatedWork W2168458616 @default.
- W200028708 hasRelatedWork W2290279606 @default.
- W200028708 hasRelatedWork W2512549801 @default.
- W200028708 hasRelatedWork W2540069932 @default.
- W200028708 hasRelatedWork W28519672 @default.
- W200028708 hasRelatedWork W2960168241 @default.
- W200028708 hasRelatedWork W3128297486 @default.
- W200028708 hasRelatedWork W32201408 @default.
- W200028708 hasRelatedWork W52153576 @default.
- W200028708 hasRelatedWork W2114102249 @default.
- W200028708 isParatext "false" @default.
- W200028708 isRetracted "false" @default.
- W200028708 magId "200028708" @default.
- W200028708 workType "article" @default.