FRINK Linked Data Fragments server

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

• W4285143400 endingPage "75" @default.
• W4285143400 startingPage "59" @default.
• W4285143400 abstract "Real-world need whose features not only have boolean values satisfying boolean constraints, but also have numeric attributes satisfying arithmetic constraints. A key operation on s finds near-optimal performing products, which requires counting the number of SPL products. Typical constraint satisfaction solvers perform poorly on counting. (Numbers, features, models) supports by , the technique that encodes arithmetic as boolean clauses. translates s to propositional formulas whose products can be counted efficiently by #SAT solvers, enabling near-optimal products to be found. We evaluate with a diverse set of real-world , complex arithmetic constraints, and counting experiments in this paper." @default.
• W4285143400 created "2022-07-14" @default.
• W4285143400 creator A5028013120 @default.
• W4285143400 creator A5033605569 @default.
• W4285143400 creator A5081595941 @default.
• W4285143400 creator A5081743232 @default.
• W4285143400 creator A5086434154 @default.
• W4285143400 date "2022-01-01" @default.
• W4285143400 modified "2023-10-02" @default.
• W4285143400 title ": A Tool to Transform Feature Models with Numerical Features and Arithmetic Constraints" @default.
• W4285143400 cites W1480909796 @default.
• W4285143400 cites W1481397690 @default.
• W4285143400 cites W1537730723 @default.
• W4285143400 cites W1576863229 @default.
• W4285143400 cites W1579437898 @default.
• W4285143400 cites W1919297764 @default.
• W4285143400 cites W2040767332 @default.
• W4285143400 cites W2056241672 @default.
• W4285143400 cites W2072617662 @default.
• W4285143400 cites W2128967738 @default.
• W4285143400 cites W2133527541 @default.
• W4285143400 cites W2144179818 @default.
• W4285143400 cites W2170167679 @default.
• W4285143400 cites W2495617574 @default.
• W4285143400 cites W2607296636 @default.
• W4285143400 cites W2740402962 @default.
• W4285143400 cites W2766468751 @default.
• W4285143400 cites W2767322025 @default.
• W4285143400 cites W2804240010 @default.
• W4285143400 cites W2808789509 @default.
• W4285143400 cites W2907083496 @default.
• W4285143400 cites W2967034934 @default.
• W4285143400 cites W2968570979 @default.
• W4285143400 cites W2968871070 @default.
• W4285143400 cites W3093669422 @default.
• W4285143400 cites W3127517336 @default.
• W4285143400 cites W3166099100 @default.
• W4285143400 cites W3177005518 @default.
• W4285143400 cites W4200105134 @default.
• W4285143400 cites W4207018882 @default.
• W4285143400 cites W4210727325 @default.
• W4285143400 cites W4230126391 @default.
• W4285143400 cites W4230619493 @default.
• W4285143400 cites W3127010458 @default.
• W4285143400 doi "https://doi.org/10.1007/978-3-031-08129-3_4" @default.
• W4285143400 hasPublicationYear "2022" @default.
• W4285143400 type Work @default.
• W4285143400 citedByCount "1" @default.
• W4285143400 countsByYear W42851434002023 @default.
• W4285143400 crossrefType "book-chapter" @default.
• W4285143400 hasAuthorship W4285143400A5028013120 @default.
• W4285143400 hasAuthorship W4285143400A5033605569 @default.
• W4285143400 hasAuthorship W4285143400A5081595941 @default.
• W4285143400 hasAuthorship W4285143400A5081743232 @default.
• W4285143400 hasAuthorship W4285143400A5086434154 @default.
• W4285143400 hasConcept C102993220 @default.
• W4285143400 hasConcept C11413529 @default.
• W4285143400 hasConcept C136119220 @default.
• W4285143400 hasConcept C138885662 @default.
• W4285143400 hasConcept C14523651 @default.
• W4285143400 hasConcept C154945302 @default.
• W4285143400 hasConcept C16221470 @default.
• W4285143400 hasConcept C169171071 @default.
• W4285143400 hasConcept C177264268 @default.
• W4285143400 hasConcept C199360897 @default.
• W4285143400 hasConcept C199622910 @default.
• W4285143400 hasConcept C200415742 @default.
• W4285143400 hasConcept C202444582 @default.
• W4285143400 hasConcept C207764348 @default.
• W4285143400 hasConcept C2524010 @default.
• W4285143400 hasConcept C26517878 @default.
• W4285143400 hasConcept C2776036281 @default.
• W4285143400 hasConcept C2776401178 @default.
• W4285143400 hasConcept C33203268 @default.
• W4285143400 hasConcept C33923547 @default.
• W4285143400 hasConcept C38652104 @default.
• W4285143400 hasConcept C41008148 @default.
• W4285143400 hasConcept C41895202 @default.
• W4285143400 hasConcept C44616089 @default.
• W4285143400 hasConcept C49937458 @default.
• W4285143400 hasConcept C69562738 @default.
• W4285143400 hasConcept C7342684 @default.
• W4285143400 hasConcept C74640108 @default.
• W4285143400 hasConcept C80444323 @default.
• W4285143400 hasConcept C9429942 @default.
• W4285143400 hasConcept C94375191 @default.
• W4285143400 hasConceptScore W4285143400C102993220 @default.
• W4285143400 hasConceptScore W4285143400C11413529 @default.
• W4285143400 hasConceptScore W4285143400C136119220 @default.
• W4285143400 hasConceptScore W4285143400C138885662 @default.
• W4285143400 hasConceptScore W4285143400C14523651 @default.
• W4285143400 hasConceptScore W4285143400C154945302 @default.
• W4285143400 hasConceptScore W4285143400C16221470 @default.
• W4285143400 hasConceptScore W4285143400C169171071 @default.
• W4285143400 hasConceptScore W4285143400C177264268 @default.
• W4285143400 hasConceptScore W4285143400C199360897 @default.
• W4285143400 hasConceptScore W4285143400C199622910 @default.
• W4285143400 hasConceptScore W4285143400C200415742 @default.

• next