FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2784118936> ?p ?o ?g. }

• W2784118936 abstract "We approach the problem of computing a $D_{3}$-synchronizing word of minimum length for a given nondeterministic automaton via its encoding as an instance of SAT and invoking a SAT solver. We also present some experimental results." @default.
• W2784118936 created "2018-01-26" @default.
• W2784118936 creator A5061039828 @default.
• W2784118936 creator A5069761851 @default.
• W2784118936 date "2018-01-16" @default.
• W2784118936 modified "2023-09-27" @default.
• W2784118936 title "Using Sat solvers for synchronization issues in non-deterministic automata" @default.
• W2784118936 cites W120468736 @default.
• W2784118936 cites W1518705996 @default.
• W2784118936 cites W1525126101 @default.
• W2784118936 cites W1554068317 @default.
• W2784118936 cites W1576511110 @default.
• W2784118936 cites W1585169551 @default.
• W2784118936 cites W1648642888 @default.
• W2784118936 cites W1790488621 @default.
• W2784118936 cites W181030226 @default.
• W2784118936 cites W1854454907 @default.
• W2784118936 cites W1967689296 @default.
• W2784118936 cites W1977703234 @default.
• W2784118936 cites W197816003 @default.
• W2784118936 cites W1988369319 @default.
• W2784118936 cites W1991980356 @default.
• W2784118936 cites W2045003095 @default.
• W2784118936 cites W2052581866 @default.
• W2784118936 cites W2054252811 @default.
• W2784118936 cites W2079961436 @default.
• W2784118936 cites W2108838086 @default.
• W2784118936 cites W2113308301 @default.
• W2784118936 cites W2122803069 @default.
• W2784118936 cites W2173819663 @default.
• W2784118936 cites W2284475030 @default.
• W2784118936 cites W2335698967 @default.
• W2784118936 cites W2529511694 @default.
• W2784118936 cites W2600058759 @default.
• W2784118936 cites W2747039446 @default.
• W2784118936 cites W2760177518 @default.
• W2784118936 cites W2780352991 @default.
• W2784118936 cites W2907043855 @default.
• W2784118936 cites W2949071587 @default.
• W2784118936 cites W32260586 @default.
• W2784118936 cites W590387709 @default.
• W2784118936 cites W76879136 @default.
• W2784118936 cites W2963246092 @default.
• W2784118936 hasPublicationYear "2018" @default.
• W2784118936 type Work @default.
• W2784118936 sameAs 2784118936 @default.
• W2784118936 citedByCount "1" @default.
• W2784118936 countsByYear W27841189362018 @default.
• W2784118936 crossrefType "posted-content" @default.
• W2784118936 hasAuthorship W2784118936A5061039828 @default.
• W2784118936 hasAuthorship W2784118936A5069761851 @default.
• W2784118936 hasConcept C112505250 @default.
• W2784118936 hasConcept C11413529 @default.
• W2784118936 hasConcept C116248031 @default.
• W2784118936 hasConcept C125411270 @default.
• W2784118936 hasConcept C127162648 @default.
• W2784118936 hasConcept C154945302 @default.
• W2784118936 hasConcept C158008952 @default.
• W2784118936 hasConcept C162932704 @default.
• W2784118936 hasConcept C173608175 @default.
• W2784118936 hasConcept C176181172 @default.
• W2784118936 hasConcept C199360897 @default.
• W2784118936 hasConcept C2778562939 @default.
• W2784118936 hasConcept C2778770139 @default.
• W2784118936 hasConcept C31258907 @default.
• W2784118936 hasConcept C41008148 @default.
• W2784118936 hasConcept C761482 @default.
• W2784118936 hasConcept C76155785 @default.
• W2784118936 hasConcept C80444323 @default.
• W2784118936 hasConceptScore W2784118936C112505250 @default.
• W2784118936 hasConceptScore W2784118936C11413529 @default.
• W2784118936 hasConceptScore W2784118936C116248031 @default.
• W2784118936 hasConceptScore W2784118936C125411270 @default.
• W2784118936 hasConceptScore W2784118936C127162648 @default.
• W2784118936 hasConceptScore W2784118936C154945302 @default.
• W2784118936 hasConceptScore W2784118936C158008952 @default.
• W2784118936 hasConceptScore W2784118936C162932704 @default.
• W2784118936 hasConceptScore W2784118936C173608175 @default.
• W2784118936 hasConceptScore W2784118936C176181172 @default.
• W2784118936 hasConceptScore W2784118936C199360897 @default.
• W2784118936 hasConceptScore W2784118936C2778562939 @default.
• W2784118936 hasConceptScore W2784118936C2778770139 @default.
• W2784118936 hasConceptScore W2784118936C31258907 @default.
• W2784118936 hasConceptScore W2784118936C41008148 @default.
• W2784118936 hasConceptScore W2784118936C761482 @default.
• W2784118936 hasConceptScore W2784118936C76155785 @default.
• W2784118936 hasConceptScore W2784118936C80444323 @default.
• W2784118936 hasLocation W27841189361 @default.
• W2784118936 hasOpenAccess W2784118936 @default.
• W2784118936 hasPrimaryLocation W27841189361 @default.
• W2784118936 hasRelatedWork W11319064 @default.
• W2784118936 hasRelatedWork W1979078717 @default.
• W2784118936 hasRelatedWork W2040725679 @default.
• W2784118936 hasRelatedWork W2051252204 @default.
• W2784118936 hasRelatedWork W2072325940 @default.
• W2784118936 hasRelatedWork W2113236984 @default.
• W2784118936 hasRelatedWork W2401322270 @default.
• W2784118936 hasRelatedWork W2463255393 @default.
• W2784118936 hasRelatedWork W2487186542 @default.
• W2784118936 hasRelatedWork W2611742254 @default.

• next