Polynomial hierarchy

Related papers: 1

Top Researchers

Anja Remshagen

Institution: —

Klaus Truemper

Institution: —

Top Cited Papers

An Effective Algorithm for the Futile Questioning Problem

Anja Remshagen, Klaus Truemper

Citations: 11 • 2005

Related Technologies

Computer science Mathematics Algorithm Theoretical computer science Time complexity Hierarchy Boolean satisfiability problem Backtracking True quantified Boolean formula Disjunctive normal form