FRINK Linked Data Fragments server

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

• W4286698100 endingPage "504" @default.
• W4286698100 startingPage "479" @default.
• W4286698100 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 experiments demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used. We compare our results with the ones obtained by the first author for exact synchronization, which is another version of synchronization studied in the literature, and draw some theoretical conclusions." @default.
• W4286698100 created "2022-07-23" @default.
• W4286698100 creator A5061039828 @default.
• W4286698100 creator A5079604981 @default.
• W4286698100 date "2022-07-22" @default.
• W4286698100 modified "2023-09-30" @default.
• W4286698100 title "Careful synchronization of partial deterministic finite automata" @default.
• W4286698100 cites W120468736 @default.
• W4286698100 cites W1484162783 @default.
• W4286698100 cites W1518705996 @default.
• W4286698100 cites W1549449731 @default.
• W4286698100 cites W1779978478 @default.
• W4286698100 cites W1790488621 @default.
• W4286698100 cites W1970252670 @default.
• W4286698100 cites W1974358198 @default.
• W4286698100 cites W1977703234 @default.
• W4286698100 cites W2045003095 @default.
• W4286698100 cites W2052581866 @default.
• W4286698100 cites W2054252811 @default.
• W4286698100 cites W2079961436 @default.
• W4286698100 cites W2113308301 @default.
• W4286698100 cites W2140195055 @default.
• W4286698100 cites W2332901121 @default.
• W4286698100 cites W2333783987 @default.
• W4286698100 cites W2789460680 @default.
• W4286698100 cites W2907043855 @default.
• W4286698100 cites W2963612139 @default.
• W4286698100 cites W2963853438 @default.
• W4286698100 cites W2974179545 @default.
• W4286698100 cites W2988858551 @default.
• W4286698100 cites W3102138220 @default.
• W4286698100 cites W3104052932 @default.
• W4286698100 cites W32260586 @default.
• W4286698100 cites W4205848555 @default.
• W4286698100 cites W4206405967 @default.
• W4286698100 cites W4243906190 @default.
• W4286698100 cites W2963246092 @default.
• W4286698100 doi "https://doi.org/10.1007/s00236-022-00433-1" @default.
• W4286698100 hasPublicationYear "2022" @default.
• W4286698100 type Work @default.
• W4286698100 citedByCount "0" @default.
• W4286698100 crossrefType "journal-article" @default.
• W4286698100 hasAuthorship W4286698100A5061039828 @default.
• W4286698100 hasAuthorship W4286698100A5079604981 @default.
• W4286698100 hasBestOaLocation W42866981002 @default.
• W4286698100 hasConcept C104091681 @default.
• W4286698100 hasConcept C112505250 @default.
• W4286698100 hasConcept C11413529 @default.
• W4286698100 hasConcept C116248031 @default.
• W4286698100 hasConcept C125411270 @default.
• W4286698100 hasConcept C127162648 @default.
• W4286698100 hasConcept C154945302 @default.
• W4286698100 hasConcept C158008952 @default.
• W4286698100 hasConcept C162324750 @default.
• W4286698100 hasConcept C162932704 @default.
• W4286698100 hasConcept C187736073 @default.
• W4286698100 hasConcept C194525867 @default.
• W4286698100 hasConcept C199360897 @default.
• W4286698100 hasConcept C24858836 @default.
• W4286698100 hasConcept C2524010 @default.
• W4286698100 hasConcept C2778562939 @default.
• W4286698100 hasConcept C2778770139 @default.
• W4286698100 hasConcept C2780451532 @default.
• W4286698100 hasConcept C31258907 @default.
• W4286698100 hasConcept C33923547 @default.
• W4286698100 hasConcept C41008148 @default.
• W4286698100 hasConcept C65753522 @default.
• W4286698100 hasConcept C761482 @default.
• W4286698100 hasConcept C76155785 @default.
• W4286698100 hasConcept C80444323 @default.
• W4286698100 hasConcept C90805587 @default.
• W4286698100 hasConceptScore W4286698100C104091681 @default.
• W4286698100 hasConceptScore W4286698100C112505250 @default.
• W4286698100 hasConceptScore W4286698100C11413529 @default.
• W4286698100 hasConceptScore W4286698100C116248031 @default.
• W4286698100 hasConceptScore W4286698100C125411270 @default.
• W4286698100 hasConceptScore W4286698100C127162648 @default.
• W4286698100 hasConceptScore W4286698100C154945302 @default.
• W4286698100 hasConceptScore W4286698100C158008952 @default.
• W4286698100 hasConceptScore W4286698100C162324750 @default.
• W4286698100 hasConceptScore W4286698100C162932704 @default.
• W4286698100 hasConceptScore W4286698100C187736073 @default.
• W4286698100 hasConceptScore W4286698100C194525867 @default.
• W4286698100 hasConceptScore W4286698100C199360897 @default.
• W4286698100 hasConceptScore W4286698100C24858836 @default.
• W4286698100 hasConceptScore W4286698100C2524010 @default.
• W4286698100 hasConceptScore W4286698100C2778562939 @default.
• W4286698100 hasConceptScore W4286698100C2778770139 @default.
• W4286698100 hasConceptScore W4286698100C2780451532 @default.
• W4286698100 hasConceptScore W4286698100C31258907 @default.
• W4286698100 hasConceptScore W4286698100C33923547 @default.
• W4286698100 hasConceptScore W4286698100C41008148 @default.
• W4286698100 hasConceptScore W4286698100C65753522 @default.
• W4286698100 hasConceptScore W4286698100C761482 @default.
• W4286698100 hasConceptScore W4286698100C76155785 @default.
• W4286698100 hasConceptScore W4286698100C80444323 @default.
• W4286698100 hasConceptScore W4286698100C90805587 @default.
• W4286698100 hasIssue "4" @default.

• next