Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313429621> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4313429621 endingPage "327" @default.
- W4313429621 startingPage "313" @default.
- W4313429621 abstract "In this paper, we discuss an approach for determining the feasibility of a polyhedron defined by a system of Binary Two Variable Per Inequality (BTVPI) constraints. A constraint of the form: $$a_icdot x_i+a_j cdot x_j ge b_{ij}$$ is called a BTVPI constraint, if $$a_i,a_j in {0,1,-1,2,-2}$$ and $$b_{ij} in mathbb {Z}$$ . These constraints find applications in a number of domains, including scheduling and abstract interpretation. Our algorithm is based on a rewrite version of the well-known Fourier-Motzkin elimination procedure for linear programs. We show that our algorithm converges in polynomial time and is faster than all known algorithms for this class of problems." @default.
- W4313429621 created "2023-01-06" @default.
- W4313429621 creator A5050337397 @default.
- W4313429621 creator A5072083212 @default.
- W4313429621 date "2023-01-01" @default.
- W4313429621 modified "2023-10-16" @default.
- W4313429621 title "A Faster Algorithm for Determining the Linear Feasibility of Systems of BTVPI Constraints" @default.
- W4313429621 cites W1482326515 @default.
- W4313429621 cites W1972577005 @default.
- W4313429621 cites W1972648192 @default.
- W4313429621 cites W1975241280 @default.
- W4313429621 cites W2000472767 @default.
- W4313429621 cites W2012329067 @default.
- W4313429621 cites W2019609597 @default.
- W4313429621 cites W2060354186 @default.
- W4313429621 cites W2061632451 @default.
- W4313429621 cites W2076680677 @default.
- W4313429621 cites W2103985627 @default.
- W4313429621 cites W2124682870 @default.
- W4313429621 cites W2343984626 @default.
- W4313429621 cites W2502563397 @default.
- W4313429621 cites W2900153411 @default.
- W4313429621 cites W2961512724 @default.
- W4313429621 cites W3158747708 @default.
- W4313429621 cites W41330591 @default.
- W4313429621 cites W4210721069 @default.
- W4313429621 cites W4236269389 @default.
- W4313429621 cites W4301216918 @default.
- W4313429621 doi "https://doi.org/10.1007/978-3-031-23101-8_21" @default.
- W4313429621 hasPublicationYear "2023" @default.
- W4313429621 type Work @default.
- W4313429621 citedByCount "0" @default.
- W4313429621 crossrefType "book-chapter" @default.
- W4313429621 hasAuthorship W4313429621A5050337397 @default.
- W4313429621 hasAuthorship W4313429621A5072083212 @default.
- W4313429621 hasConcept C11413529 @default.
- W4313429621 hasConcept C114614502 @default.
- W4313429621 hasConcept C118615104 @default.
- W4313429621 hasConcept C134306372 @default.
- W4313429621 hasConcept C154945302 @default.
- W4313429621 hasConcept C199360897 @default.
- W4313429621 hasConcept C2524010 @default.
- W4313429621 hasConcept C2776036281 @default.
- W4313429621 hasConcept C2777212361 @default.
- W4313429621 hasConcept C2780654840 @default.
- W4313429621 hasConcept C311688 @default.
- W4313429621 hasConcept C33923547 @default.
- W4313429621 hasConcept C41008148 @default.
- W4313429621 hasConcept C45555294 @default.
- W4313429621 hasConcept C48372109 @default.
- W4313429621 hasConcept C527412718 @default.
- W4313429621 hasConcept C54829058 @default.
- W4313429621 hasConcept C84135550 @default.
- W4313429621 hasConcept C94375191 @default.
- W4313429621 hasConceptScore W4313429621C11413529 @default.
- W4313429621 hasConceptScore W4313429621C114614502 @default.
- W4313429621 hasConceptScore W4313429621C118615104 @default.
- W4313429621 hasConceptScore W4313429621C134306372 @default.
- W4313429621 hasConceptScore W4313429621C154945302 @default.
- W4313429621 hasConceptScore W4313429621C199360897 @default.
- W4313429621 hasConceptScore W4313429621C2524010 @default.
- W4313429621 hasConceptScore W4313429621C2776036281 @default.
- W4313429621 hasConceptScore W4313429621C2777212361 @default.
- W4313429621 hasConceptScore W4313429621C2780654840 @default.
- W4313429621 hasConceptScore W4313429621C311688 @default.
- W4313429621 hasConceptScore W4313429621C33923547 @default.
- W4313429621 hasConceptScore W4313429621C41008148 @default.
- W4313429621 hasConceptScore W4313429621C45555294 @default.
- W4313429621 hasConceptScore W4313429621C48372109 @default.
- W4313429621 hasConceptScore W4313429621C527412718 @default.
- W4313429621 hasConceptScore W4313429621C54829058 @default.
- W4313429621 hasConceptScore W4313429621C84135550 @default.
- W4313429621 hasConceptScore W4313429621C94375191 @default.
- W4313429621 hasLocation W43134296211 @default.
- W4313429621 hasOpenAccess W4313429621 @default.
- W4313429621 hasPrimaryLocation W43134296211 @default.
- W4313429621 hasRelatedWork W1971816501 @default.
- W4313429621 hasRelatedWork W2040362316 @default.
- W4313429621 hasRelatedWork W207698748 @default.
- W4313429621 hasRelatedWork W2167306540 @default.
- W4313429621 hasRelatedWork W2410039217 @default.
- W4313429621 hasRelatedWork W3005925191 @default.
- W4313429621 hasRelatedWork W3146823024 @default.
- W4313429621 hasRelatedWork W3169777496 @default.
- W4313429621 hasRelatedWork W4221160330 @default.
- W4313429621 hasRelatedWork W47368392 @default.
- W4313429621 isParatext "false" @default.
- W4313429621 isRetracted "false" @default.
- W4313429621 workType "book-chapter" @default.