Disjunctive normal form

相关论文数: 1

顶级研究者

Anja Remshagen

研究机构: —

Klaus Truemper

研究机构: —

最高引用论文

An Effective Algorithm for the Futile Questioning Problem

Anja Remshagen, Klaus Truemper

引用数: 11 • 2005

相关技术

Computer science Mathematics Algorithm Theoretical computer science Time complexity Hierarchy Boolean satisfiability problem Backtracking True quantified Boolean formula Polynomial hierarchy