Theory and Applications of Models of Computation

DOI10.1007/11750321zbMath1178.68536OpenAlexW4296156427MaRDI QIDQ5898881

Zhen-Yu Chen, Ding, Decheng

Publication date: 30 April 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11750321

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Classical propositional logic (03B05)

Related Items

The complexity of variable minimal formulas