True quantified Boolean formula
相关论文数: 2
顶级研究者
最高引用论文
SMC
Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
引用数: 42 • 2017
An Effective Algorithm for the Futile Questioning Problem
Anja Remshagen, Klaus Truemper
引用数: 11 • 2005