A Logic-Based Approach to Combinatorial Testing with Constraints