Testing constraints for real-time systems are usually verified through the satisfiability of
propositional formulae. In this paper, we propose an alternative where the verification of …

We present a new algorithm for counting truth assignments of a clausal formula using
inverse propositional resolution and its associated normalization rules. The idea is opposite …