Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141811956> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2141811956 endingPage "79" @default.
- W2141811956 startingPage "66" @default.
- W2141811956 abstract "We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level SAT representation, our approach is competitive with alternative techniques. Our contributions are fourfold: First, we propose a compact translation of DFA identification into SAT. Second, we reduce the SAT search space by adding lower bound information using a fast max-clique approximation algorithm. Third, we include many redundant clauses to provide the SAT solver with some additional knowledge about the problem. Fourth, we show how to use the flexibility of our translation in order to apply it to very hard problems. Experiments on a well-known suite of random DFA identification problems show that SAT solvers can efficiently tackle all instances. Moreover, our algorithm outperforms state-of-the-art techniques on several hard problems." @default.
- W2141811956 created "2016-06-24" @default.
- W2141811956 creator A5025921874 @default.
- W2141811956 creator A5062870071 @default.
- W2141811956 date "2010-01-01" @default.
- W2141811956 modified "2023-09-26" @default.
- W2141811956 title "Exact DFA Identification Using SAT Solvers" @default.
- W2141811956 cites W140384553 @default.
- W2141811956 cites W1495857465 @default.
- W2141811956 cites W1506935337 @default.
- W2141811956 cites W1559171143 @default.
- W2141811956 cites W1656268799 @default.
- W2141811956 cites W1787074469 @default.
- W2141811956 cites W1830821883 @default.
- W2141811956 cites W2015033692 @default.
- W2141811956 cites W2017603160 @default.
- W2141811956 cites W2021870295 @default.
- W2141811956 cites W2076343783 @default.
- W2141811956 cites W2118406528 @default.
- W2141811956 cites W2120437191 @default.
- W2141811956 cites W2130088495 @default.
- W2141811956 cites W2136514805 @default.
- W2141811956 cites W2149968564 @default.
- W2141811956 cites W3146669578 @default.
- W2141811956 cites W4231708524 @default.
- W2141811956 doi "https://doi.org/10.1007/978-3-642-15488-1_7" @default.
- W2141811956 hasPublicationYear "2010" @default.
- W2141811956 type Work @default.
- W2141811956 sameAs 2141811956 @default.
- W2141811956 citedByCount "69" @default.
- W2141811956 countsByYear W21418119562012 @default.
- W2141811956 countsByYear W21418119562013 @default.
- W2141811956 countsByYear W21418119562014 @default.
- W2141811956 countsByYear W21418119562015 @default.
- W2141811956 countsByYear W21418119562016 @default.
- W2141811956 countsByYear W21418119562017 @default.
- W2141811956 countsByYear W21418119562018 @default.
- W2141811956 countsByYear W21418119562019 @default.
- W2141811956 countsByYear W21418119562020 @default.
- W2141811956 countsByYear W21418119562021 @default.
- W2141811956 countsByYear W21418119562022 @default.
- W2141811956 countsByYear W21418119562023 @default.
- W2141811956 crossrefType "book-chapter" @default.
- W2141811956 hasAuthorship W2141811956A5025921874 @default.
- W2141811956 hasAuthorship W2141811956A5062870071 @default.
- W2141811956 hasConcept C112505250 @default.
- W2141811956 hasConcept C11413529 @default.
- W2141811956 hasConcept C114614502 @default.
- W2141811956 hasConcept C116834253 @default.
- W2141811956 hasConcept C152062344 @default.
- W2141811956 hasConcept C168773769 @default.
- W2141811956 hasConcept C199360897 @default.
- W2141811956 hasConcept C2777035058 @default.
- W2141811956 hasConcept C2778770139 @default.
- W2141811956 hasConcept C33923547 @default.
- W2141811956 hasConcept C41008148 @default.
- W2141811956 hasConcept C59822182 @default.
- W2141811956 hasConcept C6943359 @default.
- W2141811956 hasConcept C80444323 @default.
- W2141811956 hasConcept C86803240 @default.
- W2141811956 hasConceptScore W2141811956C112505250 @default.
- W2141811956 hasConceptScore W2141811956C11413529 @default.
- W2141811956 hasConceptScore W2141811956C114614502 @default.
- W2141811956 hasConceptScore W2141811956C116834253 @default.
- W2141811956 hasConceptScore W2141811956C152062344 @default.
- W2141811956 hasConceptScore W2141811956C168773769 @default.
- W2141811956 hasConceptScore W2141811956C199360897 @default.
- W2141811956 hasConceptScore W2141811956C2777035058 @default.
- W2141811956 hasConceptScore W2141811956C2778770139 @default.
- W2141811956 hasConceptScore W2141811956C33923547 @default.
- W2141811956 hasConceptScore W2141811956C41008148 @default.
- W2141811956 hasConceptScore W2141811956C59822182 @default.
- W2141811956 hasConceptScore W2141811956C6943359 @default.
- W2141811956 hasConceptScore W2141811956C80444323 @default.
- W2141811956 hasConceptScore W2141811956C86803240 @default.
- W2141811956 hasLocation W21418119561 @default.
- W2141811956 hasOpenAccess W2141811956 @default.
- W2141811956 hasPrimaryLocation W21418119561 @default.
- W2141811956 hasRelatedWork W1945774704 @default.
- W2141811956 hasRelatedWork W2028860036 @default.
- W2141811956 hasRelatedWork W2089119454 @default.
- W2141811956 hasRelatedWork W2115480761 @default.
- W2141811956 hasRelatedWork W2155192969 @default.
- W2141811956 hasRelatedWork W2400691703 @default.
- W2141811956 hasRelatedWork W2810168957 @default.
- W2141811956 hasRelatedWork W2979842620 @default.
- W2141811956 hasRelatedWork W4287023939 @default.
- W2141811956 hasRelatedWork W2131481815 @default.
- W2141811956 isParatext "false" @default.
- W2141811956 isRetracted "false" @default.
- W2141811956 magId "2141811956" @default.
- W2141811956 workType "book-chapter" @default.