Matches in SemOpenAlex for { <https://semopenalex.org/work/W1648642888> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1648642888 abstract "For a finite state automaton, a synchronizing sequence is an input sequence that takes all the states to the same state. Checking the existence of a synchronizing sequence and finding a synchronizing sequence, if one exists, can be performed in polynomial time. However, the problem of finding a shortest synchronizing sequence is known to be NP-hard. In this work, the usefulness of Answer Set Programming to solve this optimization problem is investigated, in comparison with brute-force algorithms and SAT-based approaches. Keywords: finite automata, shortest synchronizing sequence, ASP" @default.
- W1648642888 created "2016-06-24" @default.
- W1648642888 creator A5010923018 @default.
- W1648642888 creator A5016455314 @default.
- W1648642888 creator A5049982222 @default.
- W1648642888 date "2013-12-20" @default.
- W1648642888 modified "2023-09-27" @default.
- W1648642888 title "Generating Shortest Synchronizing Sequences using Answer Set Programming." @default.
- W1648642888 cites W1482532598 @default.
- W1648642888 cites W1502758008 @default.
- W1648642888 cites W1513230022 @default.
- W1648642888 cites W1518705996 @default.
- W1648642888 cites W1543281322 @default.
- W1648642888 cites W1790488621 @default.
- W1648642888 cites W1903938722 @default.
- W1648642888 cites W2002132436 @default.
- W1648642888 cites W2009589430 @default.
- W1648642888 cites W2061027066 @default.
- W1648642888 cites W2071327460 @default.
- W1648642888 cites W2076698873 @default.
- W1648642888 cites W2091138122 @default.
- W1648642888 cites W2102194201 @default.
- W1648642888 cites W2113308301 @default.
- W1648642888 cites W2140147014 @default.
- W1648642888 cites W2149113716 @default.
- W1648642888 cites W2160282650 @default.
- W1648642888 cites W2171865517 @default.
- W1648642888 cites W2407909453 @default.
- W1648642888 cites W1591424963 @default.
- W1648642888 hasPublicationYear "2013" @default.
- W1648642888 type Work @default.
- W1648642888 sameAs 1648642888 @default.
- W1648642888 citedByCount "2" @default.
- W1648642888 countsByYear W16486428882018 @default.
- W1648642888 countsByYear W16486428882020 @default.
- W1648642888 crossrefType "posted-content" @default.
- W1648642888 hasAuthorship W1648642888A5010923018 @default.
- W1648642888 hasAuthorship W1648642888A5016455314 @default.
- W1648642888 hasAuthorship W1648642888A5049982222 @default.
- W1648642888 hasConcept C104091681 @default.
- W1648642888 hasConcept C112505250 @default.
- W1648642888 hasConcept C11413529 @default.
- W1648642888 hasConcept C114614502 @default.
- W1648642888 hasConcept C162932704 @default.
- W1648642888 hasConcept C167822520 @default.
- W1648642888 hasConcept C177264268 @default.
- W1648642888 hasConcept C184720557 @default.
- W1648642888 hasConcept C199360897 @default.
- W1648642888 hasConcept C2778112365 @default.
- W1648642888 hasConcept C33923547 @default.
- W1648642888 hasConcept C41008148 @default.
- W1648642888 hasConcept C48103436 @default.
- W1648642888 hasConcept C54355233 @default.
- W1648642888 hasConcept C80444323 @default.
- W1648642888 hasConcept C86803240 @default.
- W1648642888 hasConceptScore W1648642888C104091681 @default.
- W1648642888 hasConceptScore W1648642888C112505250 @default.
- W1648642888 hasConceptScore W1648642888C11413529 @default.
- W1648642888 hasConceptScore W1648642888C114614502 @default.
- W1648642888 hasConceptScore W1648642888C162932704 @default.
- W1648642888 hasConceptScore W1648642888C167822520 @default.
- W1648642888 hasConceptScore W1648642888C177264268 @default.
- W1648642888 hasConceptScore W1648642888C184720557 @default.
- W1648642888 hasConceptScore W1648642888C199360897 @default.
- W1648642888 hasConceptScore W1648642888C2778112365 @default.
- W1648642888 hasConceptScore W1648642888C33923547 @default.
- W1648642888 hasConceptScore W1648642888C41008148 @default.
- W1648642888 hasConceptScore W1648642888C48103436 @default.
- W1648642888 hasConceptScore W1648642888C54355233 @default.
- W1648642888 hasConceptScore W1648642888C80444323 @default.
- W1648642888 hasConceptScore W1648642888C86803240 @default.
- W1648642888 hasLocation W16486428881 @default.
- W1648642888 hasOpenAccess W1648642888 @default.
- W1648642888 hasPrimaryLocation W16486428881 @default.
- W1648642888 hasRelatedWork W1479875784 @default.
- W1648642888 hasRelatedWork W1790488621 @default.
- W1648642888 hasRelatedWork W1881030807 @default.
- W1648642888 hasRelatedWork W2014481854 @default.
- W1648642888 hasRelatedWork W2074077524 @default.
- W1648642888 hasRelatedWork W2080028974 @default.
- W1648642888 hasRelatedWork W2128259129 @default.
- W1648642888 hasRelatedWork W2138438302 @default.
- W1648642888 hasRelatedWork W2402681252 @default.
- W1648642888 hasRelatedWork W2765925496 @default.
- W1648642888 hasRelatedWork W2907043855 @default.
- W1648642888 hasRelatedWork W2907423951 @default.
- W1648642888 hasRelatedWork W2912449821 @default.
- W1648642888 hasRelatedWork W2952684831 @default.
- W1648642888 hasRelatedWork W3005181748 @default.
- W1648642888 hasRelatedWork W3100782362 @default.
- W1648642888 hasRelatedWork W3103140945 @default.
- W1648642888 hasRelatedWork W3147373105 @default.
- W1648642888 hasRelatedWork W628334594 @default.
- W1648642888 hasRelatedWork W3022067644 @default.
- W1648642888 isParatext "false" @default.
- W1648642888 isRetracted "false" @default.
- W1648642888 magId "1648642888" @default.
- W1648642888 workType "article" @default.