Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569133313> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1569133313 endingPage "342" @default.
- W1569133313 startingPage "334" @default.
- W1569133313 abstract "We present a new branch and bound algorithm for Max-SAT which incorporates original lazy data structures, a new variable selection heuristics and a lower bound of better quality. We provide experimental evidence that our solver outperforms some of the best performing Max-SAT solvers on a wide range of instances." @default.
- W1569133313 created "2016-06-24" @default.
- W1569133313 creator A5025177965 @default.
- W1569133313 creator A5061148416 @default.
- W1569133313 creator A5072458190 @default.
- W1569133313 date "2004-01-01" @default.
- W1569133313 modified "2023-09-23" @default.
- W1569133313 title "A Max-SAT Solver with Lazy Data Structures" @default.
- W1569133313 cites W15803339 @default.
- W1569133313 cites W1581661059 @default.
- W1569133313 cites W1984322914 @default.
- W1569133313 cites W1993837454 @default.
- W1569133313 cites W2057361103 @default.
- W1569133313 cites W2085301456 @default.
- W1569133313 cites W2154474334 @default.
- W1569133313 cites W4214923326 @default.
- W1569133313 cites W4235529266 @default.
- W1569133313 doi "https://doi.org/10.1007/978-3-540-30498-2_34" @default.
- W1569133313 hasPublicationYear "2004" @default.
- W1569133313 type Work @default.
- W1569133313 sameAs 1569133313 @default.
- W1569133313 citedByCount "16" @default.
- W1569133313 countsByYear W15691333132012 @default.
- W1569133313 countsByYear W15691333132013 @default.
- W1569133313 countsByYear W15691333132015 @default.
- W1569133313 countsByYear W15691333132016 @default.
- W1569133313 countsByYear W15691333132019 @default.
- W1569133313 countsByYear W15691333132020 @default.
- W1569133313 crossrefType "book-chapter" @default.
- W1569133313 hasAuthorship W1569133313A5025177965 @default.
- W1569133313 hasAuthorship W1569133313A5061148416 @default.
- W1569133313 hasAuthorship W1569133313A5072458190 @default.
- W1569133313 hasBestOaLocation W15691333132 @default.
- W1569133313 hasConcept C111919701 @default.
- W1569133313 hasConcept C11413529 @default.
- W1569133313 hasConcept C127705205 @default.
- W1569133313 hasConcept C134306372 @default.
- W1569133313 hasConcept C154945302 @default.
- W1569133313 hasConcept C159985019 @default.
- W1569133313 hasConcept C192562407 @default.
- W1569133313 hasConcept C199360897 @default.
- W1569133313 hasConcept C204323151 @default.
- W1569133313 hasConcept C2778770139 @default.
- W1569133313 hasConcept C3019612716 @default.
- W1569133313 hasConcept C33923547 @default.
- W1569133313 hasConcept C41008148 @default.
- W1569133313 hasConcept C459310 @default.
- W1569133313 hasConcept C6943359 @default.
- W1569133313 hasConcept C77553402 @default.
- W1569133313 hasConcept C81917197 @default.
- W1569133313 hasConcept C93693863 @default.
- W1569133313 hasConceptScore W1569133313C111919701 @default.
- W1569133313 hasConceptScore W1569133313C11413529 @default.
- W1569133313 hasConceptScore W1569133313C127705205 @default.
- W1569133313 hasConceptScore W1569133313C134306372 @default.
- W1569133313 hasConceptScore W1569133313C154945302 @default.
- W1569133313 hasConceptScore W1569133313C159985019 @default.
- W1569133313 hasConceptScore W1569133313C192562407 @default.
- W1569133313 hasConceptScore W1569133313C199360897 @default.
- W1569133313 hasConceptScore W1569133313C204323151 @default.
- W1569133313 hasConceptScore W1569133313C2778770139 @default.
- W1569133313 hasConceptScore W1569133313C3019612716 @default.
- W1569133313 hasConceptScore W1569133313C33923547 @default.
- W1569133313 hasConceptScore W1569133313C41008148 @default.
- W1569133313 hasConceptScore W1569133313C459310 @default.
- W1569133313 hasConceptScore W1569133313C6943359 @default.
- W1569133313 hasConceptScore W1569133313C77553402 @default.
- W1569133313 hasConceptScore W1569133313C81917197 @default.
- W1569133313 hasConceptScore W1569133313C93693863 @default.
- W1569133313 hasLocation W15691333131 @default.
- W1569133313 hasLocation W15691333132 @default.
- W1569133313 hasOpenAccess W1569133313 @default.
- W1569133313 hasPrimaryLocation W15691333131 @default.
- W1569133313 hasRelatedWork W1569133313 @default.
- W1569133313 hasRelatedWork W2092648027 @default.
- W1569133313 hasRelatedWork W2111224220 @default.
- W1569133313 hasRelatedWork W2301657126 @default.
- W1569133313 hasRelatedWork W2392858504 @default.
- W1569133313 hasRelatedWork W3125927197 @default.
- W1569133313 hasRelatedWork W4281689515 @default.
- W1569133313 hasRelatedWork W4293179600 @default.
- W1569133313 hasRelatedWork W84308376 @default.
- W1569133313 hasRelatedWork W2152572054 @default.
- W1569133313 isParatext "false" @default.
- W1569133313 isRetracted "false" @default.
- W1569133313 magId "1569133313" @default.
- W1569133313 workType "book-chapter" @default.