Title: Resolution methods for decision problems and finite-model building