scientific article; zbMATH DE number 1398070
From MaRDI portal
Publication:4937191
zbMATH Open0939.68658MaRDI QIDQ4937191FDOQ4937191
Authors: Shuji Jimbo, A. Maruoka 
Publication date: 3 February 2000
Title of this publication is not available (Why is that?)
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Classical propositional logic (03B05) Complexity of computation (including implicit computational complexity) (03D15)
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 Q4937191)
