I've solved many combinorica-ish problems by extracting a sequence from a numeric solution and then using OEIS to find generating formulas then figuring out which one was the right one.