Satisfiability and Model Counting in Open Universes