8,658 research outputs found
Recommended from our members
Nepal School of Sociology/Anthropology
Occasional Papers in Sociology and Anthropology - Volume 1, 198
Precautionary saving in the presence of other risks: further comment
precautionary saving; background risk
The enormous loans of the Deutsche Bundesbank to distressed European countries’ central banks
The impact of Entropy and Solution Density on selected SAT heuristics
In a recent article [Oh'15], Oh examined the impact of various key heuristics
(e.g., deletion strategy, restart policy, decay factor, database reduction) in
competitive SAT solvers. His key findings are that their expected success
depends on whether the input formula is satisfiable or not. To further
investigate these findings, we focused on two properties of satisfiable
formulas: the entropy of the formula, which approximates the freedom we have in
assigning the variables, and the solution density, which is the number of
solutions divided by the search space. We found that both predict better the
effect of these heuristics, and that satisfiable formulas with small entropy
`behave' similarly to unsatisfiable formulas
- …