An analytic criterion for CSAT

DOI10.1016/J.IPL.2011.11.011zbMATH Open1237.68084OpenAlexW2019659596MaRDI QIDQ413274FDOQ413274

Authors: 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

theory of computationmultiple integralCSAT

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

• The complexity of theorem-proving procedures
• IP = PSPACE
• A numerical approach to 3-SAT

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

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