Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313349087> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4313349087 endingPage "304" @default.
- W4313349087 startingPage "293" @default.
- W4313349087 abstract "This paper is concerned with the parallel complexity of the constraint-required read-once refutation (CROR) problem in Unit Two Variable Per Inequality (UTVPI) constraint systems. Recall that a UTVPI constraint is a linear inequality of the form: $$a_{i}cdot x_{i}+a_{j} cdot x_{j} le b_{k}$$ , where $$a_{i},a_{j} in {0,1,-1}$$ and $$b_{k} in mathbb {Z}$$ . A conjunction of such constraints is called a UTVPI constraint system (UCS) and can be represented in matrix form as: $$mathbf{A cdot x le b}$$ . UTVPI constraints are used in many domains including operations research and program verification. A refutation is a proof of infeasibility. A read-once refutation (ROR) is a refutation in which each constraint is used at most once. We focus on a variant of the ROR problem in which we specify which constraints a refutation is required to use. This variant is known as the CROR problem. In this paper, we provide NC reductions between the CROR problem in UCSs and the decision version of the minimum weight perfect matching problem." @default.
- W4313349087 created "2023-01-06" @default.
- W4313349087 creator A5050337397 @default.
- W4313349087 creator A5072083212 @default.
- W4313349087 date "2022-01-01" @default.
- W4313349087 modified "2023-10-16" @default.
- W4313349087 title "On the Parallel Complexity of Constrained Read-Once Refutations in UTVPI Constraint Systems" @default.
- W4313349087 cites W1981234161 @default.
- W4313349087 cites W2090168101 @default.
- W4313349087 cites W2124682870 @default.
- W4313349087 cites W2343984626 @default.
- W4313349087 cites W2399980850 @default.
- W4313349087 cites W2759459399 @default.
- W4313349087 cites W2782000683 @default.
- W4313349087 cites W2919232531 @default.
- W4313349087 cites W2962678445 @default.
- W4313349087 cites W3100671347 @default.
- W4313349087 doi "https://doi.org/10.1007/978-3-031-20350-3_24" @default.
- W4313349087 hasPublicationYear "2022" @default.
- W4313349087 type Work @default.
- W4313349087 citedByCount "0" @default.
- W4313349087 crossrefType "book-chapter" @default.
- W4313349087 hasAuthorship W4313349087A5050337397 @default.
- W4313349087 hasAuthorship W4313349087A5072083212 @default.
- W4313349087 hasConcept C105795698 @default.
- W4313349087 hasConcept C11413529 @default.
- W4313349087 hasConcept C114614502 @default.
- W4313349087 hasConcept C118615104 @default.
- W4313349087 hasConcept C126255220 @default.
- W4313349087 hasConcept C137631369 @default.
- W4313349087 hasConcept C165064840 @default.
- W4313349087 hasConcept C173404611 @default.
- W4313349087 hasConcept C176783269 @default.
- W4313349087 hasConcept C179799912 @default.
- W4313349087 hasConcept C2524010 @default.
- W4313349087 hasConcept C2776036281 @default.
- W4313349087 hasConcept C33923547 @default.
- W4313349087 hasConcept C41008148 @default.
- W4313349087 hasConcept C79475747 @default.
- W4313349087 hasConceptScore W4313349087C105795698 @default.
- W4313349087 hasConceptScore W4313349087C11413529 @default.
- W4313349087 hasConceptScore W4313349087C114614502 @default.
- W4313349087 hasConceptScore W4313349087C118615104 @default.
- W4313349087 hasConceptScore W4313349087C126255220 @default.
- W4313349087 hasConceptScore W4313349087C137631369 @default.
- W4313349087 hasConceptScore W4313349087C165064840 @default.
- W4313349087 hasConceptScore W4313349087C173404611 @default.
- W4313349087 hasConceptScore W4313349087C176783269 @default.
- W4313349087 hasConceptScore W4313349087C179799912 @default.
- W4313349087 hasConceptScore W4313349087C2524010 @default.
- W4313349087 hasConceptScore W4313349087C2776036281 @default.
- W4313349087 hasConceptScore W4313349087C33923547 @default.
- W4313349087 hasConceptScore W4313349087C41008148 @default.
- W4313349087 hasConceptScore W4313349087C79475747 @default.
- W4313349087 hasLocation W43133490871 @default.
- W4313349087 hasOpenAccess W4313349087 @default.
- W4313349087 hasPrimaryLocation W43133490871 @default.
- W4313349087 hasRelatedWork W1486916474 @default.
- W4313349087 hasRelatedWork W1493198162 @default.
- W4313349087 hasRelatedWork W1568528320 @default.
- W4313349087 hasRelatedWork W1996050266 @default.
- W4313349087 hasRelatedWork W2334636689 @default.
- W4313349087 hasRelatedWork W2593980141 @default.
- W4313349087 hasRelatedWork W2950314343 @default.
- W4313349087 hasRelatedWork W2964046206 @default.
- W4313349087 hasRelatedWork W4301321081 @default.
- W4313349087 hasRelatedWork W2611301584 @default.
- W4313349087 isParatext "false" @default.
- W4313349087 isRetracted "false" @default.
- W4313349087 workType "book-chapter" @default.