Keyword:dependency quantified Boolean formula

Papers
EasyChair Preprint no. 5948