FRINK Linked Data Fragments server

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

• W2963612139 endingPage "118" @default.
• W2963612139 startingPage "103" @default.
• W2963612139 abstract "We approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver. Our experimental results demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used." @default.
• W2963612139 created "2019-07-30" @default.
• W2963612139 creator A5061039828 @default.
• W2963612139 creator A5069761851 @default.
• W2963612139 date "2019-01-01" @default.
• W2963612139 modified "2023-09-25" @default.
• W2963612139 title "Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata" @default.
• W2963612139 cites W120468736 @default.
• W2963612139 cites W1518705996 @default.
• W2963612139 cites W1549449731 @default.
• W2963612139 cites W1554068317 @default.
• W2963612139 cites W1576511110 @default.
• W2963612139 cites W1790488621 @default.
• W2963612139 cites W181030226 @default.
• W2963612139 cites W1967689296 @default.
• W2963612139 cites W1977703234 @default.
• W2963612139 cites W1988369319 @default.
• W2963612139 cites W1991980356 @default.
• W2963612139 cites W2052581866 @default.
• W2963612139 cites W2054252811 @default.
• W2963612139 cites W2079961436 @default.
• W2963612139 cites W2113308301 @default.
• W2963612139 cites W2140195055 @default.
• W2963612139 cites W2333783987 @default.
• W2963612139 cites W2529511694 @default.
• W2963612139 cites W2600058759 @default.
• W2963612139 cites W2747039446 @default.
• W2963612139 cites W2780352991 @default.
• W2963612139 cites W2907043855 @default.
• W2963612139 cites W2997019898 @default.
• W2963612139 cites W3104052932 @default.
• W2963612139 cites W32260586 @default.
• W2963612139 cites W4206405967 @default.
• W2963612139 cites W4243906190 @default.
• W2963612139 cites W4249257186 @default.
• W2963612139 cites W76879136 @default.
• W2963612139 cites W2963246092 @default.
• W2963612139 doi "https://doi.org/10.1007/978-3-030-33394-2_9" @default.
• W2963612139 hasPublicationYear "2019" @default.
• W2963612139 type Work @default.
• W2963612139 sameAs 2963612139 @default.
• W2963612139 citedByCount "4" @default.
• W2963612139 countsByYear W29636121392020 @default.
• W2963612139 countsByYear W29636121392021 @default.
• W2963612139 countsByYear W29636121392022 @default.
• W2963612139 crossrefType "book-chapter" @default.
• W2963612139 hasAuthorship W2963612139A5061039828 @default.
• W2963612139 hasAuthorship W2963612139A5069761851 @default.
• W2963612139 hasBestOaLocation W29636121392 @default.
• W2963612139 hasConcept C112505250 @default.
• W2963612139 hasConcept C11413529 @default.
• W2963612139 hasConcept C125411270 @default.
• W2963612139 hasConcept C127162648 @default.
• W2963612139 hasConcept C154945302 @default.
• W2963612139 hasConcept C162324750 @default.
• W2963612139 hasConcept C162932704 @default.
• W2963612139 hasConcept C173608175 @default.
• W2963612139 hasConcept C187736073 @default.
• W2963612139 hasConcept C199360897 @default.
• W2963612139 hasConcept C2524010 @default.
• W2963612139 hasConcept C2778562939 @default.
• W2963612139 hasConcept C2778770139 @default.
• W2963612139 hasConcept C2780451532 @default.
• W2963612139 hasConcept C31258907 @default.
• W2963612139 hasConcept C33923547 @default.
• W2963612139 hasConcept C41008148 @default.
• W2963612139 hasConcept C6943359 @default.
• W2963612139 hasConcept C761482 @default.
• W2963612139 hasConcept C76155785 @default.
• W2963612139 hasConcept C80444323 @default.
• W2963612139 hasConcept C90805587 @default.
• W2963612139 hasConceptScore W2963612139C112505250 @default.
• W2963612139 hasConceptScore W2963612139C11413529 @default.
• W2963612139 hasConceptScore W2963612139C125411270 @default.
• W2963612139 hasConceptScore W2963612139C127162648 @default.
• W2963612139 hasConceptScore W2963612139C154945302 @default.
• W2963612139 hasConceptScore W2963612139C162324750 @default.
• W2963612139 hasConceptScore W2963612139C162932704 @default.
• W2963612139 hasConceptScore W2963612139C173608175 @default.
• W2963612139 hasConceptScore W2963612139C187736073 @default.
• W2963612139 hasConceptScore W2963612139C199360897 @default.
• W2963612139 hasConceptScore W2963612139C2524010 @default.
• W2963612139 hasConceptScore W2963612139C2778562939 @default.
• W2963612139 hasConceptScore W2963612139C2778770139 @default.
• W2963612139 hasConceptScore W2963612139C2780451532 @default.
• W2963612139 hasConceptScore W2963612139C31258907 @default.
• W2963612139 hasConceptScore W2963612139C33923547 @default.
• W2963612139 hasConceptScore W2963612139C41008148 @default.
• W2963612139 hasConceptScore W2963612139C6943359 @default.
• W2963612139 hasConceptScore W2963612139C761482 @default.
• W2963612139 hasConceptScore W2963612139C76155785 @default.
• W2963612139 hasConceptScore W2963612139C80444323 @default.
• W2963612139 hasConceptScore W2963612139C90805587 @default.
• W2963612139 hasLocation W29636121391 @default.
• W2963612139 hasLocation W29636121392 @default.
• W2963612139 hasLocation W29636121393 @default.
• W2963612139 hasOpenAccess W2963612139 @default.
• W2963612139 hasPrimaryLocation W29636121391 @default.

• next