Matches in SemOpenAlex for { <https://semopenalex.org/work/W2089047607> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2089047607 endingPage "271" @default.
- W2089047607 startingPage "257" @default.
- W2089047607 abstract "We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs. For each solution there may be many graphs representing it. However, one of these graphs is of path-width at most 2 n , where n is the number of variables in the instance. Since FO is decidable on graphs of bounded path-width, we obtain an alternative decidability result for ILP. The technique we use underlines a common principle to prove decidability which has previously been employed for automata with auxiliary storage. We also show how this new result links to automata theory and program verification." @default.
- W2089047607 created "2016-06-24" @default.
- W2089047607 creator A5036578213 @default.
- W2089047607 creator A5040528930 @default.
- W2089047607 creator A5048623277 @default.
- W2089047607 creator A5054351430 @default.
- W2089047607 date "2017-04-01" @default.
- W2089047607 modified "2023-09-30" @default.
- W2089047607 title "On the path-width of integer linear programming" @default.
- W2089047607 cites W2028357390 @default.
- W2089047607 cites W2029001691 @default.
- W2089047607 cites W2063156356 @default.
- W2089047607 cites W2092618327 @default.
- W2089047607 cites W2103658959 @default.
- W2089047607 cites W2131886132 @default.
- W2089047607 cites W2132331020 @default.
- W2089047607 cites W2141040012 @default.
- W2089047607 cites W2157390113 @default.
- W2089047607 cites W4205178514 @default.
- W2089047607 cites W4240374930 @default.
- W2089047607 cites W58916880 @default.
- W2089047607 doi "https://doi.org/10.1016/j.ic.2016.07.010" @default.
- W2089047607 hasPublicationYear "2017" @default.
- W2089047607 type Work @default.
- W2089047607 sameAs 2089047607 @default.
- W2089047607 citedByCount "1" @default.
- W2089047607 countsByYear W20890476072023 @default.
- W2089047607 crossrefType "journal-article" @default.
- W2089047607 hasAuthorship W2089047607A5036578213 @default.
- W2089047607 hasAuthorship W2089047607A5040528930 @default.
- W2089047607 hasAuthorship W2089047607A5048623277 @default.
- W2089047607 hasAuthorship W2089047607A5054351430 @default.
- W2089047607 hasBestOaLocation W20890476071 @default.
- W2089047607 hasConcept C11413529 @default.
- W2089047607 hasConcept C114614502 @default.
- W2089047607 hasConcept C123558587 @default.
- W2089047607 hasConcept C126255220 @default.
- W2089047607 hasConcept C199360897 @default.
- W2089047607 hasConcept C2777735758 @default.
- W2089047607 hasConcept C33923547 @default.
- W2089047607 hasConcept C41008148 @default.
- W2089047607 hasConcept C41045048 @default.
- W2089047607 hasConcept C56086750 @default.
- W2089047607 hasConcept C97137487 @default.
- W2089047607 hasConceptScore W2089047607C11413529 @default.
- W2089047607 hasConceptScore W2089047607C114614502 @default.
- W2089047607 hasConceptScore W2089047607C123558587 @default.
- W2089047607 hasConceptScore W2089047607C126255220 @default.
- W2089047607 hasConceptScore W2089047607C199360897 @default.
- W2089047607 hasConceptScore W2089047607C2777735758 @default.
- W2089047607 hasConceptScore W2089047607C33923547 @default.
- W2089047607 hasConceptScore W2089047607C41008148 @default.
- W2089047607 hasConceptScore W2089047607C41045048 @default.
- W2089047607 hasConceptScore W2089047607C56086750 @default.
- W2089047607 hasConceptScore W2089047607C97137487 @default.
- W2089047607 hasLocation W20890476071 @default.
- W2089047607 hasLocation W20890476072 @default.
- W2089047607 hasLocation W20890476073 @default.
- W2089047607 hasLocation W20890476074 @default.
- W2089047607 hasLocation W20890476075 @default.
- W2089047607 hasOpenAccess W2089047607 @default.
- W2089047607 hasPrimaryLocation W20890476071 @default.
- W2089047607 hasRelatedWork W134055995 @default.
- W2089047607 hasRelatedWork W1504088526 @default.
- W2089047607 hasRelatedWork W2025117369 @default.
- W2089047607 hasRelatedWork W2160856614 @default.
- W2089047607 hasRelatedWork W2753007631 @default.
- W2089047607 hasRelatedWork W2796508115 @default.
- W2089047607 hasRelatedWork W3118867582 @default.
- W2089047607 hasRelatedWork W4238890272 @default.
- W2089047607 hasRelatedWork W4298298787 @default.
- W2089047607 hasRelatedWork W2170849241 @default.
- W2089047607 hasVolume "253" @default.
- W2089047607 isParatext "false" @default.
- W2089047607 isRetracted "false" @default.
- W2089047607 magId "2089047607" @default.
- W2089047607 workType "article" @default.