True quantified Boolean formula

Related papers: 2

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: —

Top Institutes

University of California, BerkeleyUS1 paperUniversity of Southern CaliforniaUS1 paperUniversity of PennsylvaniaUS1 paperUniversity of California, Los AngelesUS1 paperUniversity of West GeorgiaUS1 paperThe University of Texas at DallasUS1 paper

Top Cited Papers

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

Related Technologies

Computer scienceMathematicsMathematical optimizationAlgorithmTheoretical computer scienceRegular polygonDiscrete mathematicsTime complexityHierarchyBoolean function