Recommend this title to your librarian

  • Model-Based Transformations for Quantified Boolean Formulas