Matches in SemOpenAlex for { <https://semopenalex.org/work/W2739751486> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2739751486 abstract "In this paper, we propose a new approach for defining tractable classes in propositional satisfiability problem (in short SAT). The basic idea consists in transforming SAT instances into instances of the problem of finding a maximum independent set. In this context, we only consider propositional formulæ in conjunctive normal form where each clause is either positive or binary negative. Tractable classes are obtained from existing polynomial time algorithms of the problem of finding a maximum independent set in the case of different graph classes, such as claw-free graphs and perfect graphs. We show, in particular, that the pigeonhole principle belongs to one of the defined tractable classes. Furthermore, we propose a characterization of the minimal models in the largest considered fragment based on the maximum independent set problem." @default.
- W2739751486 created "2017-08-08" @default.
- W2739751486 creator A5037137798 @default.
- W2739751486 creator A5071193451 @default.
- W2739751486 creator A5079211107 @default.
- W2739751486 date "2018-01-23" @default.
- W2739751486 modified "2023-09-23" @default.
- W2739751486 title "From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes" @default.
- W2739751486 doi "https://doi.org/10.29007/c9f6" @default.
- W2739751486 hasPublicationYear "2018" @default.
- W2739751486 type Work @default.
- W2739751486 sameAs 2739751486 @default.
- W2739751486 citedByCount "0" @default.
- W2739751486 crossrefType "proceedings-article" @default.
- W2739751486 hasAuthorship W2739751486A5037137798 @default.
- W2739751486 hasAuthorship W2739751486A5071193451 @default.
- W2739751486 hasAuthorship W2739751486A5079211107 @default.
- W2739751486 hasBestOaLocation W27397514861 @default.
- W2739751486 hasConcept C102993220 @default.
- W2739751486 hasConcept C114614502 @default.
- W2739751486 hasConcept C118615104 @default.
- W2739751486 hasConcept C122818955 @default.
- W2739751486 hasConcept C132525143 @default.
- W2739751486 hasConcept C14523651 @default.
- W2739751486 hasConcept C151730666 @default.
- W2739751486 hasConcept C16221470 @default.
- W2739751486 hasConcept C168773769 @default.
- W2739751486 hasConcept C171988527 @default.
- W2739751486 hasConcept C177264268 @default.
- W2739751486 hasConcept C199360897 @default.
- W2739751486 hasConcept C200415742 @default.
- W2739751486 hasConcept C2779343474 @default.
- W2739751486 hasConcept C311688 @default.
- W2739751486 hasConcept C33203268 @default.
- W2739751486 hasConcept C33923547 @default.
- W2739751486 hasConcept C41008148 @default.
- W2739751486 hasConcept C6943359 @default.
- W2739751486 hasConcept C74640108 @default.
- W2739751486 hasConcept C80444323 @default.
- W2739751486 hasConcept C86803240 @default.
- W2739751486 hasConceptScore W2739751486C102993220 @default.
- W2739751486 hasConceptScore W2739751486C114614502 @default.
- W2739751486 hasConceptScore W2739751486C118615104 @default.
- W2739751486 hasConceptScore W2739751486C122818955 @default.
- W2739751486 hasConceptScore W2739751486C132525143 @default.
- W2739751486 hasConceptScore W2739751486C14523651 @default.
- W2739751486 hasConceptScore W2739751486C151730666 @default.
- W2739751486 hasConceptScore W2739751486C16221470 @default.
- W2739751486 hasConceptScore W2739751486C168773769 @default.
- W2739751486 hasConceptScore W2739751486C171988527 @default.
- W2739751486 hasConceptScore W2739751486C177264268 @default.
- W2739751486 hasConceptScore W2739751486C199360897 @default.
- W2739751486 hasConceptScore W2739751486C200415742 @default.
- W2739751486 hasConceptScore W2739751486C2779343474 @default.
- W2739751486 hasConceptScore W2739751486C311688 @default.
- W2739751486 hasConceptScore W2739751486C33203268 @default.
- W2739751486 hasConceptScore W2739751486C33923547 @default.
- W2739751486 hasConceptScore W2739751486C41008148 @default.
- W2739751486 hasConceptScore W2739751486C6943359 @default.
- W2739751486 hasConceptScore W2739751486C74640108 @default.
- W2739751486 hasConceptScore W2739751486C80444323 @default.
- W2739751486 hasConceptScore W2739751486C86803240 @default.
- W2739751486 hasLocation W27397514861 @default.
- W2739751486 hasLocation W27397514862 @default.
- W2739751486 hasLocation W27397514863 @default.
- W2739751486 hasOpenAccess W2739751486 @default.
- W2739751486 hasPrimaryLocation W27397514861 @default.
- W2739751486 hasRelatedWork W1561517399 @default.
- W2739751486 hasRelatedWork W1983773441 @default.
- W2739751486 hasRelatedWork W2067983896 @default.
- W2739751486 hasRelatedWork W2590445006 @default.
- W2739751486 hasRelatedWork W2610304232 @default.
- W2739751486 hasRelatedWork W264823163 @default.
- W2739751486 hasRelatedWork W2739751486 @default.
- W2739751486 hasRelatedWork W3128448798 @default.
- W2739751486 hasRelatedWork W4301514548 @default.
- W2739751486 hasRelatedWork W2504339508 @default.
- W2739751486 isParatext "false" @default.
- W2739751486 isRetracted "false" @default.
- W2739751486 magId "2739751486" @default.
- W2739751486 workType "article" @default.