Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework