FRINK Linked Data Fragments server

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

• W2795433291 abstract "In the encoding of many real-world problems to propositional satisfiability, the cardinality constraint is a recurrent constraint that needs to be managed effectively. Several efficient encodings have been proposed while missing that such a constraint can be involved in a more general propositional formulation. To avoid combinatorial explosion, Tseitin principle usually used to translate such general propositional formula to Conjunctive Normal Form (CNF), introduces fresh propositional variables to represent sub-formulas and/or complex contraints. Thanks to Plaisted and Greenbaum improvement, the polarity of the sub-formula $Phi$ is taken into account leading to conditional constraints of the form $yrightarrow Phi$, or $Phirightarrow y$, where $y$ is a fresh propositional variable. In the case where $Phi$ represents a cardinality constraint, such translation leads to conditional cardinality constraints subject of the present paper. We first show that when all the clauses encoding the cardinality constraint are augmented with an additional new variable, most of the well-known encodings cease to maintain the generalized arc consistency property. Then, we consider some of these encodings and show how they can be extended to recover such important property. An experimental validation is conducted on a SAT-based pattern mining application, where such conditional cardinality constraints is a cornerstone, showing the relevance of our proposed approach." @default.
• W2795433291 created "2018-04-13" @default.
• W2795433291 creator A5003489614 @default.
• W2795433291 creator A5014938618 @default.
• W2795433291 creator A5037137798 @default.
• W2795433291 creator A5076675598 @default.
• W2795433291 date "2018-03-31" @default.
• W2795433291 modified "2023-09-27" @default.
• W2795433291 title "Efficient Encodings of Conditional Cardinality Constraints." @default.
• W2795433291 cites W1479859531 @default.
• W2795433291 cites W1516597685 @default.
• W2795433291 cites W1536736992 @default.
• W2795433291 cites W1656556186 @default.
• W2795433291 cites W1900929702 @default.
• W2795433291 cites W1999997889 @default.
• W2795433291 cites W2012413542 @default.
• W2795433291 cites W2033274122 @default.
• W2795433291 cites W2100609826 @default.
• W2795433291 cites W2116758077 @default.
• W2795433291 cites W2117182791 @default.
• W2795433291 cites W2405222174 @default.
• W2795433291 cites W2571599907 @default.
• W2795433291 cites W2605807800 @default.
• W2795433291 cites W407409333 @default.
• W2795433291 cites W82625556 @default.
• W2795433291 hasPublicationYear "2018" @default.
• W2795433291 type Work @default.
• W2795433291 sameAs 2795433291 @default.
• W2795433291 citedByCount "0" @default.
• W2795433291 crossrefType "posted-content" @default.
• W2795433291 hasAuthorship W2795433291A5003489614 @default.
• W2795433291 hasAuthorship W2795433291A5014938618 @default.
• W2795433291 hasAuthorship W2795433291A5037137798 @default.
• W2795433291 hasAuthorship W2795433291A5076675598 @default.
• W2795433291 hasConcept C102993220 @default.
• W2795433291 hasConcept C105795698 @default.
• W2795433291 hasConcept C114614502 @default.
• W2795433291 hasConcept C118615104 @default.
• W2795433291 hasConcept C124101348 @default.
• W2795433291 hasConcept C137105694 @default.
• W2795433291 hasConcept C14523651 @default.
• W2795433291 hasConcept C16221470 @default.
• W2795433291 hasConcept C168773769 @default.
• W2795433291 hasConcept C199622910 @default.
• W2795433291 hasConcept C2524010 @default.
• W2795433291 hasConcept C2776036281 @default.
• W2795433291 hasConcept C2776436953 @default.
• W2795433291 hasConcept C33203268 @default.
• W2795433291 hasConcept C33923547 @default.
• W2795433291 hasConcept C41008148 @default.
• W2795433291 hasConcept C49937458 @default.
• W2795433291 hasConcept C6943359 @default.
• W2795433291 hasConcept C80444323 @default.
• W2795433291 hasConcept C87117476 @default.
• W2795433291 hasConceptScore W2795433291C102993220 @default.
• W2795433291 hasConceptScore W2795433291C105795698 @default.
• W2795433291 hasConceptScore W2795433291C114614502 @default.
• W2795433291 hasConceptScore W2795433291C118615104 @default.
• W2795433291 hasConceptScore W2795433291C124101348 @default.
• W2795433291 hasConceptScore W2795433291C137105694 @default.
• W2795433291 hasConceptScore W2795433291C14523651 @default.
• W2795433291 hasConceptScore W2795433291C16221470 @default.
• W2795433291 hasConceptScore W2795433291C168773769 @default.
• W2795433291 hasConceptScore W2795433291C199622910 @default.
• W2795433291 hasConceptScore W2795433291C2524010 @default.
• W2795433291 hasConceptScore W2795433291C2776036281 @default.
• W2795433291 hasConceptScore W2795433291C2776436953 @default.
• W2795433291 hasConceptScore W2795433291C33203268 @default.
• W2795433291 hasConceptScore W2795433291C33923547 @default.
• W2795433291 hasConceptScore W2795433291C41008148 @default.
• W2795433291 hasConceptScore W2795433291C49937458 @default.
• W2795433291 hasConceptScore W2795433291C6943359 @default.
• W2795433291 hasConceptScore W2795433291C80444323 @default.
• W2795433291 hasConceptScore W2795433291C87117476 @default.
• W2795433291 hasLocation W27954332911 @default.
• W2795433291 hasOpenAccess W2795433291 @default.
• W2795433291 hasPrimaryLocation W27954332911 @default.
• W2795433291 hasRelatedWork W1488192684 @default.
• W2795433291 hasRelatedWork W1606751955 @default.
• W2795433291 hasRelatedWork W180627479 @default.
• W2795433291 hasRelatedWork W1973101725 @default.
• W2795433291 hasRelatedWork W1988639350 @default.
• W2795433291 hasRelatedWork W2011992362 @default.
• W2795433291 hasRelatedWork W2012413542 @default.
• W2795433291 hasRelatedWork W2058937868 @default.
• W2795433291 hasRelatedWork W2095851248 @default.
• W2795433291 hasRelatedWork W2114994281 @default.
• W2795433291 hasRelatedWork W2156117182 @default.
• W2795433291 hasRelatedWork W2161313583 @default.
• W2795433291 hasRelatedWork W2222364239 @default.
• W2795433291 hasRelatedWork W2285326487 @default.
• W2795433291 hasRelatedWork W2747084554 @default.
• W2795433291 hasRelatedWork W2950805470 @default.
• W2795433291 hasRelatedWork W2963190649 @default.
• W2795433291 hasRelatedWork W3006353527 @default.
• W2795433291 hasRelatedWork W3120153087 @default.
• W2795433291 hasRelatedWork W31875520 @default.
• W2795433291 isParatext "false" @default.
• W2795433291 isRetracted "false" @default.
• W2795433291 magId "2795433291" @default.

• next