Hitting formulas, introduced by Iwama, are an unusual class of propositional CNF formulas. Not only is their satisfiability decidable in polynomial time, but even models can be counted closed form. This stands stark contrast with other polynomial-time classes, which usually have algorithms based on backtracking and resolution for model counting remains hard, like 2-SAT Horn-SAT. However, those ...

The penetrating power of X rays underpins important applications such as medical radiography. However, this same attribute makes it challenging to achieve flexible on-demand patterning X-ray beams. One possible path goal is ``ghost projection'', a method which may be viewed reversed form classical ghost imaging. This technique employs multiple exposures, single illuminated non-configurable mask...