FRINK Linked Data Fragments server

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

• W2952589826 endingPage "258" @default.
• W2952589826 startingPage "228" @default.
• W2952589826 abstract "Boolean functional synthesis is the process of constructing a Boolean function from a Boolean specification that relates input and output variables. Despite recent developments in synthesis algorithms, Boolean functional synthesis remains a challenging problem even when state-of-the-art techniques are used for decomposing the specification. In this work, we present a new decomposition approach that decomposes the specification into separate input and output components. To begin with, we adapt the notion of “sequential decomposition” and present a framework that allows the input and output components to be independently synthesized and then re-composed to yield an implementation of the overall specification. Although theoretically appealing, this approach suffers from some practical drawbacks, as evidenced by our experiments. This motivates us to propose a relaxed approach to synthesis by decomposition. In the relaxed approach, we start with a specification given as a conjunctive normal form (CNF) formula, and obtain a decomposition of the specification by alternatingly analyzing the input and output components repeatedly. We also exploit specific properties of these components to ultimately implement the overall specification. We prove that if the input component of the CNF specification has specific structural properties, our approach can achieve synthesis in polynomial time. We also show by experimental evaluations that our algorithm performs well in practice on instances that are challenging for existing state-of-the-art tools. Thus, our decomposition-based synthesis approach serves as a good complement to other state-of-the-art techniques in a portfolio approach to Boolean functional synthesis." @default.
• W2952589826 created "2019-06-27" @default.
• W2952589826 creator A5000059818 @default.
• W2952589826 creator A5062596233 @default.
• W2952589826 creator A5087548969 @default.
• W2952589826 creator A5089236765 @default.
• W2952589826 date "2022-04-01" @default.
• W2952589826 modified "2023-10-15" @default.
• W2952589826 title "Functional synthesis via input–output separation" @default.
• W2952589826 cites W111132822 @default.
• W2952589826 cites W128869332 @default.
• W2952589826 cites W1518705996 @default.
• W2952589826 cites W1544505822 @default.
• W2952589826 cites W1607025997 @default.
• W2952589826 cites W179349679 @default.
• W2952589826 cites W1985685974 @default.
• W2952589826 cites W1996393320 @default.
• W2952589826 cites W2044458395 @default.
• W2952589826 cites W2065251436 @default.
• W2952589826 cites W2070447189 @default.
• W2952589826 cites W2078687024 @default.
• W2952589826 cites W2080267935 @default.
• W2952589826 cites W2118943303 @default.
• W2952589826 cites W2140132043 @default.
• W2952589826 cites W2166856993 @default.
• W2952589826 cites W2185680923 @default.
• W2952589826 cites W2212063168 @default.
• W2952589826 cites W2367397349 @default.
• W2952589826 cites W2402431820 @default.
• W2952589826 cites W2404220671 @default.
• W2952589826 cites W2505627961 @default.
• W2952589826 cites W2597995575 @default.
• W2952589826 cites W25993968 @default.
• W2952589826 cites W2744294793 @default.
• W2952589826 cites W2767987826 @default.
• W2952589826 cites W2798787028 @default.
• W2952589826 cites W2962945299 @default.
• W2952589826 cites W2963149920 @default.
• W2952589826 cites W2983731215 @default.
• W2952589826 cites W3046767532 @default.
• W2952589826 cites W3144630549 @default.
• W2952589826 cites W3192343331 @default.
• W2952589826 cites W4212971335 @default.
• W2952589826 cites W4235759561 @default.
• W2952589826 cites W4238998842 @default.
• W2952589826 cites W4245234767 @default.
• W2952589826 cites W5750292 @default.
• W2952589826 doi "https://doi.org/10.1007/s10703-023-00410-5" @default.
• W2952589826 hasPublicationYear "2022" @default.
• W2952589826 type Work @default.
• W2952589826 sameAs 2952589826 @default.
• W2952589826 citedByCount "1" @default.
• W2952589826 countsByYear W29525898262019 @default.
• W2952589826 crossrefType "journal-article" @default.
• W2952589826 hasAuthorship W2952589826A5000059818 @default.
• W2952589826 hasAuthorship W2952589826A5062596233 @default.
• W2952589826 hasAuthorship W2952589826A5087548969 @default.
• W2952589826 hasAuthorship W2952589826A5089236765 @default.
• W2952589826 hasBestOaLocation W29525898262 @default.
• W2952589826 hasConcept C104317684 @default.
• W2952589826 hasConcept C112313634 @default.
• W2952589826 hasConcept C11413529 @default.
• W2952589826 hasConcept C119857082 @default.
• W2952589826 hasConcept C12145135 @default.
• W2952589826 hasConcept C124681953 @default.
• W2952589826 hasConcept C127716648 @default.
• W2952589826 hasConcept C141796577 @default.
• W2952589826 hasConcept C149091818 @default.
• W2952589826 hasConcept C16221470 @default.
• W2952589826 hasConcept C185592680 @default.
• W2952589826 hasConcept C186846655 @default.
• W2952589826 hasConcept C187455244 @default.
• W2952589826 hasConcept C188082640 @default.
• W2952589826 hasConcept C18903297 @default.
• W2952589826 hasConcept C199360897 @default.
• W2952589826 hasConcept C2777904410 @default.
• W2952589826 hasConcept C41008148 @default.
• W2952589826 hasConcept C42935608 @default.
• W2952589826 hasConcept C55493867 @default.
• W2952589826 hasConcept C57371142 @default.
• W2952589826 hasConcept C58013763 @default.
• W2952589826 hasConcept C80444323 @default.
• W2952589826 hasConcept C86803240 @default.
• W2952589826 hasConcept C9390403 @default.
• W2952589826 hasConceptScore W2952589826C104317684 @default.
• W2952589826 hasConceptScore W2952589826C112313634 @default.
• W2952589826 hasConceptScore W2952589826C11413529 @default.
• W2952589826 hasConceptScore W2952589826C119857082 @default.
• W2952589826 hasConceptScore W2952589826C12145135 @default.
• W2952589826 hasConceptScore W2952589826C124681953 @default.
• W2952589826 hasConceptScore W2952589826C127716648 @default.
• W2952589826 hasConceptScore W2952589826C141796577 @default.
• W2952589826 hasConceptScore W2952589826C149091818 @default.
• W2952589826 hasConceptScore W2952589826C16221470 @default.
• W2952589826 hasConceptScore W2952589826C185592680 @default.
• W2952589826 hasConceptScore W2952589826C186846655 @default.
• W2952589826 hasConceptScore W2952589826C187455244 @default.
• W2952589826 hasConceptScore W2952589826C188082640 @default.

• next