A short review is given of three experimental works on tests of the Pauli Exclusion Principle (PEP) in which the author has been involved during the last 10 years. In the first work a search for anomalous carbon atoms was done and a limit on the existence of such atoms was determined, C̃/C< 2.5×10. In the second work PEP was tested with the NEMO-2 detector and the limits on the violation of PEP ...

In recent years we have viewed tremendous improvements in the field of Propositional satisfiability (SAT). Many NPcomplete problems from a variety of domains, such as classic planning problems (Kautz 1999), have been compiled into SAT instances, and solved effectively by SAT solvers (Zhang et al 2001). On the other hand, the problem of counting the number of models of a prepositional formula (#...

In this paper, we propose new sequential estimation methods based on inclusion principle. The main idea is to reformulate the estimation problems as constructing sequential random intervals and use confidence sequences to control the associated coverage probabilities. In contrast to existing asymptotic sequential methods, our estimation procedures rigorously guarantee the pre-specified levels o...