True quantified Boolean formula

Top Researchers

Sanjit A. Seshia

Institution: —

George J. Pappas

Institution: —

Yasser Shoukry

Institution: —

Paulo Tabuada

Institution: —

Alberto Sangiovanni‐Vincentelli

Institution: —

Pierluigi Nuzzo

Institution: —

Anja Remshagen

Institution: —

Klaus Truemper

Institution: —

SMC

Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

Citations: 42 • 2017

An Effective Algorithm for the Futile Questioning Problem

Anja Remshagen, Klaus Truemper

Citations: 11 • 2005