scientific article
From MaRDI portal
Publication:3567616
zbMath1196.68101MaRDI QIDQ3567616
Publication date: 17 June 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
satisfiability problemsNP problemslogogramcertificates of membershipprogram kernelstructural independence
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
This page was built for publication:
