FRINK Linked Data Fragments server

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

• W3103016263 endingPage "209" @default.
• W3103016263 startingPage "200" @default.
• W3103016263 abstract "Pseudo-Boolean constraints, also known as 0-1 Integer Linear Constraints, are used to model many real-world problems. A common approach to solve these constraints is to encode them into a SAT formula. The runtime of the SAT solver on such formula is sensitive to the manner in which the given pseudo-Boolean constraints are encoded. In this paper, we propose generalized Totalizer encoding (GTE), which is an arc-consistency preserving extension of the Totalizer encoding to pseudo-Boolean constraints. Unlike some other encodings, the number of auxiliary variables required for GTE does not depend on the magnitudes of the coefficients. Instead, it depends on the number of distinct combinations of these coefficients. We show the superiority of GTE with respect to other encodings when large pseudo-Boolean constraints have low number of distinct coefficients. Our experimental results also show that GTE remains competitive even when the pseudo-Boolean constraints do not have this characteristic." @default.
• W3103016263 created "2020-11-23" @default.
• W3103016263 creator A5022069492 @default.
• W3103016263 creator A5033377932 @default.
• W3103016263 creator A5087247518 @default.
• W3103016263 date "2015-01-01" @default.
• W3103016263 modified "2023-10-12" @default.
• W3103016263 title "Generalized Totalizer Encoding for Pseudo-Boolean Constraints" @default.
• W3103016263 cites W1518705996 @default.
• W3103016263 cites W1575323025 @default.
• W3103016263 cites W1775352280 @default.
• W3103016263 cites W177721190 @default.
• W3103016263 cites W1868868480 @default.
• W3103016263 cites W192078665 @default.
• W3103016263 cites W2012413542 @default.
• W3103016263 cites W2033246449 @default.
• W3103016263 cites W2033274122 @default.
• W3103016263 cites W2038549215 @default.
• W3103016263 cites W2095821893 @default.
• W3103016263 cites W2100609826 @default.
• W3103016263 cites W2102909639 @default.
• W3103016263 cites W2116758077 @default.
• W3103016263 cites W2165395380 @default.
• W3103016263 cites W2395737562 @default.
• W3103016263 cites W3104044769 @default.
• W3103016263 cites W3104744353 @default.
• W3103016263 cites W4300624830 @default.
• W3103016263 cites W4301887518 @default.
• W3103016263 cites W5815757 @default.
• W3103016263 cites W66231286 @default.
• W3103016263 cites W82625556 @default.
• W3103016263 doi "https://doi.org/10.1007/978-3-319-23219-5_15" @default.
• W3103016263 hasPublicationYear "2015" @default.
• W3103016263 type Work @default.
• W3103016263 sameAs 3103016263 @default.
• W3103016263 citedByCount "17" @default.
• W3103016263 countsByYear W31030162632017 @default.
• W3103016263 countsByYear W31030162632018 @default.
• W3103016263 countsByYear W31030162632019 @default.
• W3103016263 countsByYear W31030162632020 @default.
• W3103016263 countsByYear W31030162632023 @default.
• W3103016263 crossrefType "book-chapter" @default.
• W3103016263 hasAuthorship W3103016263A5022069492 @default.
• W3103016263 hasAuthorship W3103016263A5033377932 @default.
• W3103016263 hasAuthorship W3103016263A5087247518 @default.
• W3103016263 hasBestOaLocation W31030162632 @default.
• W3103016263 hasConcept C104317684 @default.
• W3103016263 hasConcept C111797529 @default.
• W3103016263 hasConcept C11413529 @default.
• W3103016263 hasConcept C118615104 @default.
• W3103016263 hasConcept C125411270 @default.
• W3103016263 hasConcept C141796577 @default.
• W3103016263 hasConcept C154945302 @default.
• W3103016263 hasConcept C158465420 @default.
• W3103016263 hasConcept C16221470 @default.
• W3103016263 hasConcept C185592680 @default.
• W3103016263 hasConcept C187455244 @default.
• W3103016263 hasConcept C196836630 @default.
• W3103016263 hasConcept C199360897 @default.
• W3103016263 hasConcept C2776436953 @default.
• W3103016263 hasConcept C2778029271 @default.
• W3103016263 hasConcept C2778770139 @default.
• W3103016263 hasConcept C33923547 @default.
• W3103016263 hasConcept C41008148 @default.
• W3103016263 hasConcept C55493867 @default.
• W3103016263 hasConcept C66746571 @default.
• W3103016263 hasConcept C68481662 @default.
• W3103016263 hasConcept C6943359 @default.
• W3103016263 hasConcept C7342684 @default.
• W3103016263 hasConcept C80444323 @default.
• W3103016263 hasConcept C97137487 @default.
• W3103016263 hasConceptScore W3103016263C104317684 @default.
• W3103016263 hasConceptScore W3103016263C111797529 @default.
• W3103016263 hasConceptScore W3103016263C11413529 @default.
• W3103016263 hasConceptScore W3103016263C118615104 @default.
• W3103016263 hasConceptScore W3103016263C125411270 @default.
• W3103016263 hasConceptScore W3103016263C141796577 @default.
• W3103016263 hasConceptScore W3103016263C154945302 @default.
• W3103016263 hasConceptScore W3103016263C158465420 @default.
• W3103016263 hasConceptScore W3103016263C16221470 @default.
• W3103016263 hasConceptScore W3103016263C185592680 @default.
• W3103016263 hasConceptScore W3103016263C187455244 @default.
• W3103016263 hasConceptScore W3103016263C196836630 @default.
• W3103016263 hasConceptScore W3103016263C199360897 @default.
• W3103016263 hasConceptScore W3103016263C2776436953 @default.
• W3103016263 hasConceptScore W3103016263C2778029271 @default.
• W3103016263 hasConceptScore W3103016263C2778770139 @default.
• W3103016263 hasConceptScore W3103016263C33923547 @default.
• W3103016263 hasConceptScore W3103016263C41008148 @default.
• W3103016263 hasConceptScore W3103016263C55493867 @default.
• W3103016263 hasConceptScore W3103016263C66746571 @default.
• W3103016263 hasConceptScore W3103016263C68481662 @default.
• W3103016263 hasConceptScore W3103016263C6943359 @default.
• W3103016263 hasConceptScore W3103016263C7342684 @default.
• W3103016263 hasConceptScore W3103016263C80444323 @default.
• W3103016263 hasConceptScore W3103016263C97137487 @default.
• W3103016263 hasLocation W31030162631 @default.
• W3103016263 hasLocation W31030162632 @default.

• next