Reducing the Complexity of Quantified Formulas via Variable Elimination. El Ghazi, A. A., Ulbrich, M., Taghdiri, M., & Herda, M. In 11th International Workshop on Satisfiability Modulo Theories (SMT), pages 87-99, Helsinki, Finland.
bibtex   
@inproceedings{ elghazi:smt2013,
  author = {Aboubakr Achraf {El Ghazi} and
               Mattias Ulbrich and
               Mana Taghdiri and
               Mihai Herda},
  title = {Reducing the Complexity of Quantified Formulas via Variable Elimination},
  booktitle = {11th International Workshop on Satisfiability Modulo Theories (SMT)},
  pages = {87-99},
  address = {Helsinki, Finland}
}

Downloads: 0