Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965484150> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2965484150 abstract "The conflict-driven clause learning (CDCL) paradigm has revolutionized SAT solving over the last two decades. Extending this approach to pseudo-Boolean (PB) solvers doing 0-1 linear programming holds the promise of further exponential improvements in theory, but intriguingly such gains have not materialized in practice. Also intriguingly, most PB extensions of CDCL use not the division rule in cutting planes as defined in [Cook et al., '87] but instead the so-called saturation rule. To the best of our knowledge, there has been no study comparing the strengths of division and saturation in the context of conflict-driven PB learning, when all linear combinations of inequalities are required to cancel variables. We show that PB solvers with division instead of saturation can be exponentially stronger. In the other direction, we prove that simulating a single saturation step can require an exponential number of divisions. We also perform some experiments to see whether these phenomena can be observed in actual solvers. Our conclusion is that a careful combination of division and saturation seems to be crucial to harness more of the power of cutting planes." @default.
- W2965484150 created "2019-08-13" @default.
- W2965484150 creator A5003633660 @default.
- W2965484150 creator A5041051779 @default.
- W2965484150 creator A5067511397 @default.
- W2965484150 date "2019-08-01" @default.
- W2965484150 modified "2023-10-16" @default.
- W2965484150 title "On Division Versus Saturation in Pseudo-Boolean Solving" @default.
- W2965484150 cites W2069767473 @default.
- W2965484150 cites W2103184499 @default.
- W2965484150 cites W2108637261 @default.
- W2965484150 cites W2147442986 @default.
- W2965484150 cites W2185680923 @default.
- W2965484150 cites W2808706008 @default.
- W2965484150 cites W48421743 @default.
- W2965484150 doi "https://doi.org/10.24963/ijcai.2019/237" @default.
- W2965484150 hasPublicationYear "2019" @default.
- W2965484150 type Work @default.
- W2965484150 sameAs 2965484150 @default.
- W2965484150 citedByCount "7" @default.
- W2965484150 countsByYear W29654841502020 @default.
- W2965484150 countsByYear W29654841502021 @default.
- W2965484150 crossrefType "proceedings-article" @default.
- W2965484150 hasAuthorship W2965484150A5003633660 @default.
- W2965484150 hasAuthorship W2965484150A5041051779 @default.
- W2965484150 hasAuthorship W2965484150A5067511397 @default.
- W2965484150 hasBestOaLocation W29654841501 @default.
- W2965484150 hasConcept C11413529 @default.
- W2965484150 hasConcept C114614502 @default.
- W2965484150 hasConcept C127313418 @default.
- W2965484150 hasConcept C134306372 @default.
- W2965484150 hasConcept C151376022 @default.
- W2965484150 hasConcept C151730666 @default.
- W2965484150 hasConcept C2779343474 @default.
- W2965484150 hasConcept C33923547 @default.
- W2965484150 hasConcept C41008148 @default.
- W2965484150 hasConcept C60798267 @default.
- W2965484150 hasConcept C75235859 @default.
- W2965484150 hasConcept C80444323 @default.
- W2965484150 hasConcept C94375191 @default.
- W2965484150 hasConcept C9930424 @default.
- W2965484150 hasConceptScore W2965484150C11413529 @default.
- W2965484150 hasConceptScore W2965484150C114614502 @default.
- W2965484150 hasConceptScore W2965484150C127313418 @default.
- W2965484150 hasConceptScore W2965484150C134306372 @default.
- W2965484150 hasConceptScore W2965484150C151376022 @default.
- W2965484150 hasConceptScore W2965484150C151730666 @default.
- W2965484150 hasConceptScore W2965484150C2779343474 @default.
- W2965484150 hasConceptScore W2965484150C33923547 @default.
- W2965484150 hasConceptScore W2965484150C41008148 @default.
- W2965484150 hasConceptScore W2965484150C60798267 @default.
- W2965484150 hasConceptScore W2965484150C75235859 @default.
- W2965484150 hasConceptScore W2965484150C80444323 @default.
- W2965484150 hasConceptScore W2965484150C94375191 @default.
- W2965484150 hasConceptScore W2965484150C9930424 @default.
- W2965484150 hasLocation W29654841501 @default.
- W2965484150 hasOpenAccess W2965484150 @default.
- W2965484150 hasPrimaryLocation W29654841501 @default.
- W2965484150 hasRelatedWork W10166426 @default.
- W2965484150 hasRelatedWork W12546088 @default.
- W2965484150 hasRelatedWork W1494559 @default.
- W2965484150 hasRelatedWork W4345855 @default.
- W2965484150 hasRelatedWork W4354089 @default.
- W2965484150 hasRelatedWork W7491381 @default.
- W2965484150 hasRelatedWork W8478983 @default.
- W2965484150 hasRelatedWork W9498632 @default.
- W2965484150 hasRelatedWork W9743498 @default.
- W2965484150 hasRelatedWork W9813720 @default.
- W2965484150 isParatext "false" @default.
- W2965484150 isRetracted "false" @default.
- W2965484150 magId "2965484150" @default.
- W2965484150 workType "article" @default.