FRINK Linked Data Fragments server

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

• W2051252204 abstract "We consider the problem of reducing the number of states of nondeterministic finite automata, and show how to encode the reduction as a Boolean satisfiability problem. This approach improves on previous work by reducing a more general class of automata. Experimental results show that it produces a minimal automaton in almost all cases and that the running time compares favourably to the Kameda-Weiner algorithm." @default.
• W2051252204 created "2016-06-24" @default.
• W2051252204 creator A5000026394 @default.
• W2051252204 creator A5050494871 @default.
• W2051252204 creator A5076118539 @default.
• W2051252204 date "2010-01-01" @default.
• W2051252204 modified "2023-09-25" @default.
• W2051252204 title "Reducing Nondeterministic Finite Automata with SAT Solvers" @default.
• W2051252204 cites W11319064 @default.
• W2051252204 cites W1505262931 @default.
• W2051252204 cites W1512254831 @default.
• W2051252204 cites W1549655026 @default.
• W2051252204 cites W1551563240 @default.
• W2051252204 cites W1568031762 @default.
• W2051252204 cites W1964127120 @default.
• W2051252204 cites W2018931121 @default.
• W2051252204 cites W2061668791 @default.
• W2051252204 cites W2102066200 @default.
• W2051252204 cites W2154478838 @default.
• W2051252204 doi "https://doi.org/10.1007/978-3-642-14684-8_9" @default.
• W2051252204 hasPublicationYear "2010" @default.
• W2051252204 type Work @default.
• W2051252204 sameAs 2051252204 @default.
• W2051252204 citedByCount "6" @default.
• W2051252204 countsByYear W20512522042017 @default.
• W2051252204 countsByYear W20512522042021 @default.
• W2051252204 crossrefType "book-chapter" @default.
• W2051252204 hasAuthorship W2051252204A5000026394 @default.
• W2051252204 hasAuthorship W2051252204A5050494871 @default.
• W2051252204 hasAuthorship W2051252204A5076118539 @default.
• W2051252204 hasConcept C104091681 @default.
• W2051252204 hasConcept C104317684 @default.
• W2051252204 hasConcept C111335779 @default.
• W2051252204 hasConcept C112505250 @default.
• W2051252204 hasConcept C11413529 @default.
• W2051252204 hasConcept C116248031 @default.
• W2051252204 hasConcept C118615104 @default.
• W2051252204 hasConcept C154945302 @default.
• W2051252204 hasConcept C158008952 @default.
• W2051252204 hasConcept C168773769 @default.
• W2051252204 hasConcept C174327141 @default.
• W2051252204 hasConcept C176181172 @default.
• W2051252204 hasConcept C185592680 @default.
• W2051252204 hasConcept C194525867 @default.
• W2051252204 hasConcept C2524010 @default.
• W2051252204 hasConcept C2777212361 @default.
• W2051252204 hasConcept C33923547 @default.
• W2051252204 hasConcept C41008148 @default.
• W2051252204 hasConcept C55493867 @default.
• W2051252204 hasConcept C66746571 @default.
• W2051252204 hasConcept C6943359 @default.
• W2051252204 hasConcept C80444323 @default.
• W2051252204 hasConcept C92710233 @default.
• W2051252204 hasConceptScore W2051252204C104091681 @default.
• W2051252204 hasConceptScore W2051252204C104317684 @default.
• W2051252204 hasConceptScore W2051252204C111335779 @default.
• W2051252204 hasConceptScore W2051252204C112505250 @default.
• W2051252204 hasConceptScore W2051252204C11413529 @default.
• W2051252204 hasConceptScore W2051252204C116248031 @default.
• W2051252204 hasConceptScore W2051252204C118615104 @default.
• W2051252204 hasConceptScore W2051252204C154945302 @default.
• W2051252204 hasConceptScore W2051252204C158008952 @default.
• W2051252204 hasConceptScore W2051252204C168773769 @default.
• W2051252204 hasConceptScore W2051252204C174327141 @default.
• W2051252204 hasConceptScore W2051252204C176181172 @default.
• W2051252204 hasConceptScore W2051252204C185592680 @default.
• W2051252204 hasConceptScore W2051252204C194525867 @default.
• W2051252204 hasConceptScore W2051252204C2524010 @default.
• W2051252204 hasConceptScore W2051252204C2777212361 @default.
• W2051252204 hasConceptScore W2051252204C33923547 @default.
• W2051252204 hasConceptScore W2051252204C41008148 @default.
• W2051252204 hasConceptScore W2051252204C55493867 @default.
• W2051252204 hasConceptScore W2051252204C66746571 @default.
• W2051252204 hasConceptScore W2051252204C6943359 @default.
• W2051252204 hasConceptScore W2051252204C80444323 @default.
• W2051252204 hasConceptScore W2051252204C92710233 @default.
• W2051252204 hasLocation W20512522041 @default.
• W2051252204 hasOpenAccess W2051252204 @default.
• W2051252204 hasPrimaryLocation W20512522041 @default.
• W2051252204 hasRelatedWork W11319064 @default.
• W2051252204 hasRelatedWork W1528377058 @default.
• W2051252204 hasRelatedWork W1549106514 @default.
• W2051252204 hasRelatedWork W1587497712 @default.
• W2051252204 hasRelatedWork W1971747251 @default.
• W2051252204 hasRelatedWork W1979078717 @default.
• W2051252204 hasRelatedWork W2073874233 @default.
• W2051252204 hasRelatedWork W2401322270 @default.
• W2051252204 hasRelatedWork W2466700122 @default.
• W2051252204 hasRelatedWork W2597700095 @default.
• W2051252204 hasRelatedWork W2784118936 @default.
• W2051252204 hasRelatedWork W2786305034 @default.
• W2051252204 hasRelatedWork W2791758278 @default.
• W2051252204 hasRelatedWork W2907043855 @default.
• W2051252204 hasRelatedWork W2908682741 @default.
• W2051252204 hasRelatedWork W2950818739 @default.
• W2051252204 hasRelatedWork W3089093779 @default.
• W2051252204 hasRelatedWork W3111577354 @default.
• W2051252204 hasRelatedWork W3161865814 @default.
• W2051252204 hasRelatedWork W3172946803 @default.
• W2051252204 isParatext "false" @default.

• next