Period of time： 2013年3-4期
Publisher： Springer Publishing Company
Founded in： 1990
Total resources： 73
ISSN： 1012-2443
Subject： O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Annals of Mathematics and Artificial Intelligence,volume 22,issue 3-4
Menu
A formal framework for evaluating heuristic programs
Annals of Mathematics and Artificial Intelligence,volume 22,issue 3-4 , Vol. 22, Iss. 3-4, 1998-01 , pp.
Access to resources
Recommend
Nonmonotonic reasoning: from complexity to algorithms
Annals of Mathematics and Artificial Intelligence,volume 22,issue 3-4 , Vol. 22, Iss. 3-4, 1998-01 , pp.Using computational learning strategies as a tool for combinatorial optimization
By Birkendorf A.,Ulrich Simon H. in (1998)
Annals of Mathematics and Artificial Intelligence,volume 22,issue 3-4 , Vol. 22, Iss. 3-4, 1998-01 , pp.Tractable plan existence does not imply tractable plan generation
By Jonsson P.,Bäckström C. in (1998)
Annals of Mathematics and Artificial Intelligence,volume 22,issue 3-4 , Vol. 22, Iss. 3-4, 1998-01 , pp.Boosting complete techniques thanks to local search methods
By Mazure B.,Saïs L., Grégoire É. in (1998)
Annals of Mathematics and Artificial Intelligence,volume 22,issue 3-4 , Vol. 22, Iss. 3-4, 1998-01 , pp.Logic knowledge bases with two default rules
Annals of Mathematics and Artificial Intelligence,volume 22,issue 3-4 , Vol. 22, Iss. 3-4, 1998-01 , pp.