Theory and Applications of Models of Computation

From MaRDI portal

Revision as of 19:06, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5898881

Jump to:navigation, search

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 (1)

The complexity of variable minimal formulas

This page was built for publication: Theory and Applications of Models of Computation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5898881&oldid=16738966"