and found various interesting applications
including string analysis .
Recently , Veanes et al . showed the usefulness of monadic decomposability in the context of SMT ( i.e. the input formula is quantifier - free ) , and found various interesting applications including string analysis .
Recently , Veanes et al . showed the usefulness of monadic decomposability in the context of SMT ( i.e. the input formula is quantifier - free ) , and found various interesting applications including string analysis .