True quantified Boolean formula

相关论文数: 2

顶级研究者

Sanjit A. Seshia

研究机构: —

George J. Pappas

研究机构: —

Yasser Shoukry

研究机构: —

Paulo Tabuada

研究机构: —

Alberto Sangiovanni‐Vincentelli

研究机构: —

Pierluigi Nuzzo

研究机构: —

Anja Remshagen

研究机构: —

Klaus Truemper

研究机构: —

顶尖机构

University of California, BerkeleyUS1 篇论文University of Southern CaliforniaUS1 篇论文University of PennsylvaniaUS1 篇论文University of California, Los AngelesUS1 篇论文University of West GeorgiaUS1 篇论文The University of Texas at DallasUS1 篇论文

最高引用论文

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

相关技术

Computer scienceMathematicsMathematical optimizationAlgorithmTheoretical computer scienceRegular polygonDiscrete mathematicsTime complexityHierarchyBoolean function