It is a very active domain, with lots and lots of techniques to do some clever approximations. Brute forcing is not feasible, even for the simplest systems.