Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT