scientific article; zbMATH DE number 1335876

zbMATH Open0935.68033MaRDI QIDQ4258567FDOQ4258567

Authors: Harry Buhrman, Lance Fortnow 

Publication date: 4 May 2000

Title of this publication is not available (Why is that?)

Recommendations

• Two queries
• Proving SAT does not have small circuits with an application to the two queries problem
• Bounded queries to SAT and the Boolean hierarchy
• The 1-Versus-2 Queries Problem Revisited

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cited In (6)

• The two queries assumption and Arthur-Merlin classes
• The 1-versus-2 queries problem revisited
• Proving SAT does not have small circuits with an application to the two queries problem
• Title not available (Why is that?)
• Two queries
• Bounded queries, approximations, and the Boolean hierarchy

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4258567)