Hymenaea courbaril plasters, but at present its only use is for incense and varnish. The wood is very hard, measuring 5.6 on the Brinell scale and on the Janka scale, approximate measurements of hardness. For comparison, Douglas fir measures , white oak , and Brazilian walnut on the Janka scale. It features a tan to salmon color with black accent stripes that over time turn to a deep and vibrant red. Attribution: Hymenaea courbaril Hymenaea courbaril (courbaril and West Indian locust) is a tree common in the Caribbean, Central America, and South America. It is a hardwood that is used for furniture,
Computational hardness assumption which is a computational hardness assumption about random instances of 3-SAT (sampled to maintain a specific ratio of clauses to variables). Average-case computational hardness assumptions are useful for proving average-case hardness in applications like statistics, where there is a natural distribution over inputs. Additionally, the planted clique hardness assumption has also been used to distinguish between polynomial and quasi-polynomial worst-case time complexity of other problems, similarly to the Exponential Time Hypothesis. The Unique Label Cover problem is a constraint satisfaction problem, where each constraint formula_60 involves two variables formula_77, and for each value of formula_26 there is a "unique" value