Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913970140> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2913970140 abstract "Switching graphs are graphs containing switches. By using boolean functions called switch settings, these switches can be put in a fixed direction to obtain an ordinary graph. For many problems, switching graphs are a remarkable straightforward and natural model, but they have hardly been studied. We study the complexity of several natural questions in switching graphs of which some are polynomial, and others are NP-complete. We started investigating switching graphs because they turned out to be a natural framework for studying the problem of solving Boolean equation systems, which is equivalent to model checking of the modal @m-calculus and deciding the winner in parity games. We give direct, polynomial encodings of Boolean equation systems in switching graphs and vice versa, and prove correctness of the encodings." @default.
- W2913970140 created "2019-02-21" @default.
- W2913970140 creator A5025878712 @default.
- W2913970140 creator A5032619003 @default.
- W2913970140 date "2008-12-01" @default.
- W2913970140 modified "2023-09-26" @default.
- W2913970140 title "Switching Graphs" @default.
- W2913970140 cites W1505081061 @default.
- W2913970140 cites W1554039039 @default.
- W2913970140 cites W2015640848 @default.
- W2913970140 cites W2017759899 @default.
- W2913970140 cites W2085591112 @default.
- W2913970140 cites W2118382442 @default.
- W2913970140 cites W2911865844 @default.
- W2913970140 cites W3136397722 @default.
- W2913970140 cites W1733288159 @default.
- W2913970140 doi "https://doi.org/10.1016/j.entcs.2008.12.035" @default.
- W2913970140 hasPublicationYear "2008" @default.
- W2913970140 type Work @default.
- W2913970140 sameAs 2913970140 @default.
- W2913970140 citedByCount "4" @default.
- W2913970140 countsByYear W29139701402013 @default.
- W2913970140 crossrefType "journal-article" @default.
- W2913970140 hasAuthorship W2913970140A5025878712 @default.
- W2913970140 hasAuthorship W2913970140A5032619003 @default.
- W2913970140 hasBestOaLocation W29139701401 @default.
- W2913970140 hasConcept C11413529 @default.
- W2913970140 hasConcept C114614502 @default.
- W2913970140 hasConcept C118615104 @default.
- W2913970140 hasConcept C33923547 @default.
- W2913970140 hasConcept C41008148 @default.
- W2913970140 hasConcept C55439883 @default.
- W2913970140 hasConceptScore W2913970140C11413529 @default.
- W2913970140 hasConceptScore W2913970140C114614502 @default.
- W2913970140 hasConceptScore W2913970140C118615104 @default.
- W2913970140 hasConceptScore W2913970140C33923547 @default.
- W2913970140 hasConceptScore W2913970140C41008148 @default.
- W2913970140 hasConceptScore W2913970140C55439883 @default.
- W2913970140 hasLocation W29139701401 @default.
- W2913970140 hasOpenAccess W2913970140 @default.
- W2913970140 hasPrimaryLocation W29139701401 @default.
- W2913970140 hasRelatedWork W1487888553 @default.
- W2913970140 hasRelatedWork W1493972536 @default.
- W2913970140 hasRelatedWork W1530056612 @default.
- W2913970140 hasRelatedWork W1567025487 @default.
- W2913970140 hasRelatedWork W1576356800 @default.
- W2913970140 hasRelatedWork W1957393600 @default.
- W2913970140 hasRelatedWork W2057089816 @default.
- W2913970140 hasRelatedWork W2059820690 @default.
- W2913970140 hasRelatedWork W2076137686 @default.
- W2913970140 hasRelatedWork W2083568668 @default.
- W2913970140 hasRelatedWork W2152565800 @default.
- W2913970140 hasRelatedWork W2290968667 @default.
- W2913970140 hasRelatedWork W2586688167 @default.
- W2913970140 hasRelatedWork W2926435172 @default.
- W2913970140 hasRelatedWork W2952552176 @default.
- W2913970140 hasRelatedWork W2963506294 @default.
- W2913970140 hasRelatedWork W2963779908 @default.
- W2913970140 hasRelatedWork W2982464349 @default.
- W2913970140 hasRelatedWork W3042335242 @default.
- W2913970140 hasRelatedWork W3192463219 @default.
- W2913970140 isParatext "false" @default.
- W2913970140 isRetracted "false" @default.
- W2913970140 magId "2913970140" @default.
- W2913970140 workType "article" @default.