Matches in SemOpenAlex for { <https://semopenalex.org/work/W2488409468> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2488409468 abstract "The solution graph of a Boolean formula on n variables is the subgraph of the hypercube (H_n) induced by the satisfying assignments of the formula. The structure of solution graphs has been the object of much research in recent years since it is important for the performance of SAT-solving procedures based on local search. Several authors have studied connectivity problems in such graphs focusing on how the structure of the original formula might affect the complexity of the connectivity problems in the solution graph." @default.
- W2488409468 created "2016-08-23" @default.
- W2488409468 creator A5027370903 @default.
- W2488409468 creator A5072808081 @default.
- W2488409468 date "2016-01-01" @default.
- W2488409468 modified "2023-09-27" @default.
- W2488409468 title "Solution-Graphs of Boolean Formulas and Isomorphism" @default.
- W2488409468 cites W1572204789 @default.
- W2488409468 cites W1618174268 @default.
- W2488409468 cites W1974672137 @default.
- W2488409468 cites W1976090101 @default.
- W2488409468 cites W2000805093 @default.
- W2488409468 cites W2006771561 @default.
- W2488409468 cites W2006912660 @default.
- W2488409468 cites W2033323875 @default.
- W2488409468 cites W2039423976 @default.
- W2488409468 cites W2063428816 @default.
- W2488409468 cites W2069603099 @default.
- W2488409468 cites W2115826669 @default.
- W2488409468 cites W2140053302 @default.
- W2488409468 cites W2166566648 @default.
- W2488409468 cites W2365765272 @default.
- W2488409468 cites W2409645877 @default.
- W2488409468 cites W2494517118 @default.
- W2488409468 cites W4236305466 @default.
- W2488409468 cites W4250242114 @default.
- W2488409468 doi "https://doi.org/10.1007/978-3-319-40970-2_3" @default.
- W2488409468 hasPublicationYear "2016" @default.
- W2488409468 type Work @default.
- W2488409468 sameAs 2488409468 @default.
- W2488409468 citedByCount "0" @default.
- W2488409468 crossrefType "book-chapter" @default.
- W2488409468 hasAuthorship W2488409468A5027370903 @default.
- W2488409468 hasAuthorship W2488409468A5072808081 @default.
- W2488409468 hasConcept C114614502 @default.
- W2488409468 hasConcept C115624301 @default.
- W2488409468 hasConcept C118615104 @default.
- W2488409468 hasConcept C131992880 @default.
- W2488409468 hasConcept C132525143 @default.
- W2488409468 hasConcept C185592680 @default.
- W2488409468 hasConcept C191241153 @default.
- W2488409468 hasConcept C203436722 @default.
- W2488409468 hasConcept C203776342 @default.
- W2488409468 hasConcept C22149727 @default.
- W2488409468 hasConcept C33923547 @default.
- W2488409468 hasConcept C41008148 @default.
- W2488409468 hasConcept C50820777 @default.
- W2488409468 hasConcept C61665672 @default.
- W2488409468 hasConcept C8010536 @default.
- W2488409468 hasConcept C80444323 @default.
- W2488409468 hasConceptScore W2488409468C114614502 @default.
- W2488409468 hasConceptScore W2488409468C115624301 @default.
- W2488409468 hasConceptScore W2488409468C118615104 @default.
- W2488409468 hasConceptScore W2488409468C131992880 @default.
- W2488409468 hasConceptScore W2488409468C132525143 @default.
- W2488409468 hasConceptScore W2488409468C185592680 @default.
- W2488409468 hasConceptScore W2488409468C191241153 @default.
- W2488409468 hasConceptScore W2488409468C203436722 @default.
- W2488409468 hasConceptScore W2488409468C203776342 @default.
- W2488409468 hasConceptScore W2488409468C22149727 @default.
- W2488409468 hasConceptScore W2488409468C33923547 @default.
- W2488409468 hasConceptScore W2488409468C41008148 @default.
- W2488409468 hasConceptScore W2488409468C50820777 @default.
- W2488409468 hasConceptScore W2488409468C61665672 @default.
- W2488409468 hasConceptScore W2488409468C8010536 @default.
- W2488409468 hasConceptScore W2488409468C80444323 @default.
- W2488409468 hasLocation W24884094681 @default.
- W2488409468 hasOpenAccess W2488409468 @default.
- W2488409468 hasPrimaryLocation W24884094681 @default.
- W2488409468 hasRelatedWork W1570639096 @default.
- W2488409468 hasRelatedWork W1572204789 @default.
- W2488409468 hasRelatedWork W1770199419 @default.
- W2488409468 hasRelatedWork W1930311219 @default.
- W2488409468 hasRelatedWork W1973860121 @default.
- W2488409468 hasRelatedWork W2381264888 @default.
- W2488409468 hasRelatedWork W2464174988 @default.
- W2488409468 hasRelatedWork W2511773204 @default.
- W2488409468 hasRelatedWork W2530575142 @default.
- W2488409468 hasRelatedWork W2574893499 @default.
- W2488409468 hasRelatedWork W2576063853 @default.
- W2488409468 hasRelatedWork W2770854599 @default.
- W2488409468 hasRelatedWork W2794877842 @default.
- W2488409468 hasRelatedWork W2912875731 @default.
- W2488409468 hasRelatedWork W2949149665 @default.
- W2488409468 hasRelatedWork W2962821633 @default.
- W2488409468 hasRelatedWork W2962948643 @default.
- W2488409468 hasRelatedWork W3048268335 @default.
- W2488409468 hasRelatedWork W3135578464 @default.
- W2488409468 hasRelatedWork W3200877167 @default.
- W2488409468 isParatext "false" @default.
- W2488409468 isRetracted "false" @default.
- W2488409468 magId "2488409468" @default.
- W2488409468 workType "book-chapter" @default.