Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297810802> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4297810802 abstract "In our setting enumeration amounts to generate all solutions of a problem instance without duplicates. We address the problem of enumerating the models of B-formulae. A B-formula is a propositional formula whose connectives are taken from a fixed set B of Boolean connectives. Without imposing any specific order to output the solutions, this task is solved. We completely classify the complexity of this enumeration task for all possible sets of connectives B imposing the orders of (1) non-decreasing weight, (2) non-increasing weight; the weight of a model being the number of variables assigned to 1. We consider also the weighted variants where a non-negative integer weight is assigned to each variable and show that this add-on leads to more sophisticated enumeration algorithms and even renders previously tractable cases intractable, contrarily to the constraint setting. As a by-product we obtain complete complexity classifications for the optimization problems known as Min-Ones and Max-Ones which are in the B-formula setting two different tasks." @default.
- W4297810802 created "2022-10-01" @default.
- W4297810802 creator A5055974732 @default.
- W4297810802 date "2016-12-02" @default.
- W4297810802 modified "2023-10-01" @default.
- W4297810802 title "The Weight in Enumeration" @default.
- W4297810802 doi "https://doi.org/10.48550/arxiv.1612.00675" @default.
- W4297810802 hasPublicationYear "2016" @default.
- W4297810802 type Work @default.
- W4297810802 citedByCount "0" @default.
- W4297810802 crossrefType "posted-content" @default.
- W4297810802 hasAuthorship W4297810802A5055974732 @default.
- W4297810802 hasBestOaLocation W42978108021 @default.
- W4297810802 hasConcept C10138342 @default.
- W4297810802 hasConcept C114614502 @default.
- W4297810802 hasConcept C118615104 @default.
- W4297810802 hasConcept C134306372 @default.
- W4297810802 hasConcept C156340839 @default.
- W4297810802 hasConcept C16221470 @default.
- W4297810802 hasConcept C162324750 @default.
- W4297810802 hasConcept C177264268 @default.
- W4297810802 hasConcept C182306322 @default.
- W4297810802 hasConcept C182365436 @default.
- W4297810802 hasConcept C187736073 @default.
- W4297810802 hasConcept C199360897 @default.
- W4297810802 hasConcept C2524010 @default.
- W4297810802 hasConcept C2776036281 @default.
- W4297810802 hasConcept C2780451532 @default.
- W4297810802 hasConcept C33923547 @default.
- W4297810802 hasConcept C41008148 @default.
- W4297810802 hasConcept C69562738 @default.
- W4297810802 hasConcept C97137487 @default.
- W4297810802 hasConceptScore W4297810802C10138342 @default.
- W4297810802 hasConceptScore W4297810802C114614502 @default.
- W4297810802 hasConceptScore W4297810802C118615104 @default.
- W4297810802 hasConceptScore W4297810802C134306372 @default.
- W4297810802 hasConceptScore W4297810802C156340839 @default.
- W4297810802 hasConceptScore W4297810802C16221470 @default.
- W4297810802 hasConceptScore W4297810802C162324750 @default.
- W4297810802 hasConceptScore W4297810802C177264268 @default.
- W4297810802 hasConceptScore W4297810802C182306322 @default.
- W4297810802 hasConceptScore W4297810802C182365436 @default.
- W4297810802 hasConceptScore W4297810802C187736073 @default.
- W4297810802 hasConceptScore W4297810802C199360897 @default.
- W4297810802 hasConceptScore W4297810802C2524010 @default.
- W4297810802 hasConceptScore W4297810802C2776036281 @default.
- W4297810802 hasConceptScore W4297810802C2780451532 @default.
- W4297810802 hasConceptScore W4297810802C33923547 @default.
- W4297810802 hasConceptScore W4297810802C41008148 @default.
- W4297810802 hasConceptScore W4297810802C69562738 @default.
- W4297810802 hasConceptScore W4297810802C97137487 @default.
- W4297810802 hasLocation W42978108021 @default.
- W4297810802 hasOpenAccess W4297810802 @default.
- W4297810802 hasPrimaryLocation W42978108021 @default.
- W4297810802 hasRelatedWork W1850102257 @default.
- W4297810802 hasRelatedWork W2018113351 @default.
- W4297810802 hasRelatedWork W2041903417 @default.
- W4297810802 hasRelatedWork W2065078642 @default.
- W4297810802 hasRelatedWork W2081200353 @default.
- W4297810802 hasRelatedWork W2117618537 @default.
- W4297810802 hasRelatedWork W2560739502 @default.
- W4297810802 hasRelatedWork W2794784053 @default.
- W4297810802 hasRelatedWork W2964165395 @default.
- W4297810802 hasRelatedWork W2964273561 @default.
- W4297810802 isParatext "false" @default.
- W4297810802 isRetracted "false" @default.
- W4297810802 workType "article" @default.