An analytic criterion for CSAT

DOI10.1016/J.IPL.2011.11.011MaRDI QIDQ413274zbMATH OpenOpenAlexFDO

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

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

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)