Matches in SemOpenAlex for { <https://semopenalex.org/work/W4243435342> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4243435342 abstract "This paper addresses the problem of creating simplifiers for logic formulas based on conditional term rewriting. In particular, the paper focuses on a program synthesis application where formula simplifications have been shown to have a significant impact. We show that by combining machine learning techniques with constraint-based synthesis, it is possible to synthesize a formula simplifier fully automatically from a corpus of representative problems, making it possible to create formula simplifiers tailored to specific problem domains. We demonstrate the benefits of our approach for synthesis benchmarks from the SyGuS competition and automated grading." @default.
- W4243435342 created "2022-05-12" @default.
- W4243435342 creator A5010786661 @default.
- W4243435342 creator A5081688191 @default.
- W4243435342 date "2016-10-01" @default.
- W4243435342 modified "2023-10-17" @default.
- W4243435342 title "SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules" @default.
- W4243435342 cites W1545506277 @default.
- W4243435342 cites W1583597026 @default.
- W4243435342 cites W1590649805 @default.
- W4243435342 cites W1964748769 @default.
- W4243435342 cites W2057081774 @default.
- W4243435342 cites W2094878426 @default.
- W4243435342 cites W2100218206 @default.
- W4243435342 cites W2100465945 @default.
- W4243435342 cites W2103447044 @default.
- W4243435342 cites W2114337691 @default.
- W4243435342 cites W2116789243 @default.
- W4243435342 cites W2125872407 @default.
- W4243435342 cites W2131623415 @default.
- W4243435342 cites W2156486093 @default.
- W4243435342 cites W2160145830 @default.
- W4243435342 cites W2160985005 @default.
- W4243435342 cites W2460341801 @default.
- W4243435342 cites W3003163926 @default.
- W4243435342 cites W4231865403 @default.
- W4243435342 doi "https://doi.org/10.1109/fmcad.2016.7886678" @default.
- W4243435342 hasPublicationYear "2016" @default.
- W4243435342 type Work @default.
- W4243435342 citedByCount "6" @default.
- W4243435342 countsByYear W42434353422016 @default.
- W4243435342 countsByYear W42434353422017 @default.
- W4243435342 countsByYear W42434353422019 @default.
- W4243435342 countsByYear W42434353422020 @default.
- W4243435342 countsByYear W42434353422021 @default.
- W4243435342 countsByYear W42434353422022 @default.
- W4243435342 crossrefType "proceedings-article" @default.
- W4243435342 hasAuthorship W4243435342A5010786661 @default.
- W4243435342 hasAuthorship W4243435342A5081688191 @default.
- W4243435342 hasConcept C121332964 @default.
- W4243435342 hasConcept C127413603 @default.
- W4243435342 hasConcept C128838566 @default.
- W4243435342 hasConcept C147176958 @default.
- W4243435342 hasConcept C154690210 @default.
- W4243435342 hasConcept C154945302 @default.
- W4243435342 hasConcept C199360897 @default.
- W4243435342 hasConcept C2524010 @default.
- W4243435342 hasConcept C2776036281 @default.
- W4243435342 hasConcept C2777286243 @default.
- W4243435342 hasConcept C2987117450 @default.
- W4243435342 hasConcept C33923547 @default.
- W4243435342 hasConcept C41008148 @default.
- W4243435342 hasConcept C61797465 @default.
- W4243435342 hasConcept C62520636 @default.
- W4243435342 hasConcept C80444323 @default.
- W4243435342 hasConceptScore W4243435342C121332964 @default.
- W4243435342 hasConceptScore W4243435342C127413603 @default.
- W4243435342 hasConceptScore W4243435342C128838566 @default.
- W4243435342 hasConceptScore W4243435342C147176958 @default.
- W4243435342 hasConceptScore W4243435342C154690210 @default.
- W4243435342 hasConceptScore W4243435342C154945302 @default.
- W4243435342 hasConceptScore W4243435342C199360897 @default.
- W4243435342 hasConceptScore W4243435342C2524010 @default.
- W4243435342 hasConceptScore W4243435342C2776036281 @default.
- W4243435342 hasConceptScore W4243435342C2777286243 @default.
- W4243435342 hasConceptScore W4243435342C2987117450 @default.
- W4243435342 hasConceptScore W4243435342C33923547 @default.
- W4243435342 hasConceptScore W4243435342C41008148 @default.
- W4243435342 hasConceptScore W4243435342C61797465 @default.
- W4243435342 hasConceptScore W4243435342C62520636 @default.
- W4243435342 hasConceptScore W4243435342C80444323 @default.
- W4243435342 hasLocation W42434353421 @default.
- W4243435342 hasOpenAccess W4243435342 @default.
- W4243435342 hasPrimaryLocation W42434353421 @default.
- W4243435342 hasRelatedWork W174435416 @default.
- W4243435342 hasRelatedWork W1796293478 @default.
- W4243435342 hasRelatedWork W2030557042 @default.
- W4243435342 hasRelatedWork W2105713543 @default.
- W4243435342 hasRelatedWork W2120204135 @default.
- W4243435342 hasRelatedWork W2139396251 @default.
- W4243435342 hasRelatedWork W2576194653 @default.
- W4243435342 hasRelatedWork W4205908955 @default.
- W4243435342 hasRelatedWork W4387560745 @default.
- W4243435342 hasRelatedWork W1497216778 @default.
- W4243435342 isParatext "false" @default.
- W4243435342 isRetracted "false" @default.
- W4243435342 workType "article" @default.