French Formule booléenne quantifiée Cited by user Fschwarzentruber on 11 Jul 2016 En théorie de la complexité, en informatique théorique, en logique mathématique, une formule booléenne quantifiée (ou formule QBF pour ' en anglais) est une formule de…