An analytic criterion for CSAT

DOI10.1016/J.IPL.2011.11.011zbMath1237.68084OpenAlexW2019659596MaRDI QIDQ413274

Norichika Matsuki

Publication date: 4 May 2012

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2011.11.011

zbMATH Keywords

multiple integraltheory of computationCSAT

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cites Work

• IP = PSPACE
• The complexity of theorem-proving procedures
• Unnamed Item

This page was built for publication: An analytic criterion for CSAT