Lignum vitae wood can also be used to brew a tea. Other names for lignum vitae include palo santo (Spanish for "holy wood") Aura palo santo and "bastard greenheart" (not to be confused with true greenheart "Chlorocardium rodiei", a popular wood in shipbuilding, cabinetry, and woodturning but a completely different timber). Lignum vitae is also one of the numerous hard, dense woods loosely referred to as "ironwood". Lignum vitae is hard and durable, and is also the densest wood traded (density: 1.23 g/cm); it will easily sink in water. On the Janka Scale of Hardness, which measures hardness of woods, lignum vitae
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