Matches in SemOpenAlex for { <https://semopenalex.org/work/W1541290429> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1541290429 endingPage "139" @default.
- W1541290429 startingPage "121" @default.
- W1541290429 abstract "We present a new polyhedral approach to nonlinear Boolean optimization. Compared to other methods, it produces much smaller integer programming models, making it more efficient from a practical point of view. We mainly obtain this by two different ideas: first, we do not require the objective function to be in any normal form. The transformation into a normal form usually leads to the introduction of many additional variables or constraints. Second, we reduce the problem to the degree-two case in a very efficient way, by slightly extending the dimension of the original variable space. The resulting model turns out to be closely related to the maximum cut problem; we show that the corresponding polytope is a face of a suitable cut polytope in most cases. In particular, our separation problem reduces to the one for the maximum cut problem. In practice, the approach appears to be very competitive for unconstrained Boolean optimization problems. First experimental results, which have been obtained for some particularly hard instances of the Max-SAT Evaluation 2007, show that our very general implementation can outperform even special-purpose Max-SAT solvers. The software is accessible online under “we.logoptimize.it”." @default.
- W1541290429 created "2016-06-24" @default.
- W1541290429 creator A5066641730 @default.
- W1541290429 creator A5071840391 @default.
- W1541290429 date "2009-05-01" @default.
- W1541290429 modified "2023-10-16" @default.
- W1541290429 title "Terse Integer Linear Programs for Boolean Optimization" @default.
- W1541290429 cites W111060146 @default.
- W1541290429 cites W1492193787 @default.
- W1541290429 cites W153078869 @default.
- W1541290429 cites W15803339 @default.
- W1541290429 cites W2012605254 @default.
- W1541290429 cites W2029242918 @default.
- W1541290429 cites W2066253573 @default.
- W1541290429 cites W2074078071 @default.
- W1541290429 cites W2100577981 @default.
- W1541290429 cites W2103184499 @default.
- W1541290429 cites W2118825986 @default.
- W1541290429 cites W2148016452 @default.
- W1541290429 cites W2158907148 @default.
- W1541290429 doi "https://doi.org/10.3233/sat190065" @default.
- W1541290429 hasPublicationYear "2009" @default.
- W1541290429 type Work @default.
- W1541290429 sameAs 1541290429 @default.
- W1541290429 citedByCount "1" @default.
- W1541290429 countsByYear W15412904292015 @default.
- W1541290429 crossrefType "journal-article" @default.
- W1541290429 hasAuthorship W1541290429A5066641730 @default.
- W1541290429 hasAuthorship W1541290429A5071840391 @default.
- W1541290429 hasBestOaLocation W15412904291 @default.
- W1541290429 hasConcept C11413529 @default.
- W1541290429 hasConcept C199360897 @default.
- W1541290429 hasConcept C33923547 @default.
- W1541290429 hasConcept C41008148 @default.
- W1541290429 hasConcept C56086750 @default.
- W1541290429 hasConcept C97137487 @default.
- W1541290429 hasConceptScore W1541290429C11413529 @default.
- W1541290429 hasConceptScore W1541290429C199360897 @default.
- W1541290429 hasConceptScore W1541290429C33923547 @default.
- W1541290429 hasConceptScore W1541290429C41008148 @default.
- W1541290429 hasConceptScore W1541290429C56086750 @default.
- W1541290429 hasConceptScore W1541290429C97137487 @default.
- W1541290429 hasIssue "1-3" @default.
- W1541290429 hasLocation W15412904291 @default.
- W1541290429 hasLocation W15412904292 @default.
- W1541290429 hasLocation W15412904293 @default.
- W1541290429 hasOpenAccess W1541290429 @default.
- W1541290429 hasPrimaryLocation W15412904291 @default.
- W1541290429 hasRelatedWork W1998519592 @default.
- W1541290429 hasRelatedWork W2150681492 @default.
- W1541290429 hasRelatedWork W2320229756 @default.
- W1541290429 hasRelatedWork W2325635326 @default.
- W1541290429 hasRelatedWork W2327497304 @default.
- W1541290429 hasRelatedWork W2329128713 @default.
- W1541290429 hasRelatedWork W2800457071 @default.
- W1541290429 hasRelatedWork W2958975737 @default.
- W1541290429 hasRelatedWork W2963930208 @default.
- W1541290429 hasRelatedWork W1595010305 @default.
- W1541290429 hasVolume "6" @default.
- W1541290429 isParatext "false" @default.
- W1541290429 isRetracted "false" @default.
- W1541290429 magId "1541290429" @default.
- W1541290429 workType "article" @default.