Given a system of constraints over set X variables, projected model counting asks us to count satisfying assignments the constraint on subset $$\mathcal {P}$$ X. A key idea used in modern counters is first compute an independent support, say {I}$$ , that often small and then models instead . While this has been effective scaling performance counters, question whether we can benefit by projectin...

We provide an easy method to obtain the kinetic energy fraction in gravitational waves, generated during a cosmological first-order phase transition, as function of only wall velocity and quantities that can be determined from particle physics model at nucleation temperature. This generalizes recent work achieved this goal for detonations. Here we present corresponding results deflagrations hyb...