Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300097512> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W4300097512 abstract "In this paper, we present a new, graph-based modeling approach and a polynomial-sized linear programming (LP) formulation of the Boolean satisfiability problem (SAT). The approach is illustrated with a numerical example." @default.
- W4300097512 created "2022-10-03" @default.
- W4300097512 creator A5073554689 @default.
- W4300097512 date "2008-08-25" @default.
- W4300097512 modified "2023-10-14" @default.
- W4300097512 title "Linear Programming Formulation of the Boolean Satisfiability Problem" @default.
- W4300097512 doi "https://doi.org/10.48550/arxiv.0808.3386" @default.
- W4300097512 hasPublicationYear "2008" @default.
- W4300097512 type Work @default.
- W4300097512 citedByCount "0" @default.
- W4300097512 crossrefType "posted-content" @default.
- W4300097512 hasAuthorship W4300097512A5073554689 @default.
- W4300097512 hasBestOaLocation W43000975121 @default.
- W4300097512 hasConcept C111797529 @default.
- W4300097512 hasConcept C11413529 @default.
- W4300097512 hasConcept C118615104 @default.
- W4300097512 hasConcept C132525143 @default.
- W4300097512 hasConcept C168773769 @default.
- W4300097512 hasConcept C187455244 @default.
- W4300097512 hasConcept C200415742 @default.
- W4300097512 hasConcept C33923547 @default.
- W4300097512 hasConcept C41008148 @default.
- W4300097512 hasConcept C41045048 @default.
- W4300097512 hasConcept C6943359 @default.
- W4300097512 hasConceptScore W4300097512C111797529 @default.
- W4300097512 hasConceptScore W4300097512C11413529 @default.
- W4300097512 hasConceptScore W4300097512C118615104 @default.
- W4300097512 hasConceptScore W4300097512C132525143 @default.
- W4300097512 hasConceptScore W4300097512C168773769 @default.
- W4300097512 hasConceptScore W4300097512C187455244 @default.
- W4300097512 hasConceptScore W4300097512C200415742 @default.
- W4300097512 hasConceptScore W4300097512C33923547 @default.
- W4300097512 hasConceptScore W4300097512C41008148 @default.
- W4300097512 hasConceptScore W4300097512C41045048 @default.
- W4300097512 hasConceptScore W4300097512C6943359 @default.
- W4300097512 hasLocation W43000975121 @default.
- W4300097512 hasLocation W43000975122 @default.
- W4300097512 hasOpenAccess W4300097512 @default.
- W4300097512 hasPrimaryLocation W43000975121 @default.
- W4300097512 hasRelatedWork W1498612398 @default.
- W4300097512 hasRelatedWork W1597588219 @default.
- W4300097512 hasRelatedWork W1971161545 @default.
- W4300097512 hasRelatedWork W1976090101 @default.
- W4300097512 hasRelatedWork W2067983896 @default.
- W4300097512 hasRelatedWork W2076476660 @default.
- W4300097512 hasRelatedWork W21453999 @default.
- W4300097512 hasRelatedWork W2173621488 @default.
- W4300097512 hasRelatedWork W2981948274 @default.
- W4300097512 hasRelatedWork W59759164 @default.
- W4300097512 isParatext "false" @default.
- W4300097512 isRetracted "false" @default.
- W4300097512 workType "article" @default.