scientific article; zbMATH DE number 2084734
From MaRDI portal
Publication:4475664
zbMath1067.68622MaRDI QIDQ4475664
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2239/22390575.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (7)
Progress towards the Holy Grail ⋮ Generalised arc consistency for the AllDifferent constraint: an empirical survey ⋮ \textsc{Conjure}: automatic generation of constraint models from problem specifications ⋮ Global constraint catalogue: past, present and future ⋮ Automated streamliner portfolios for constraint satisfaction problems ⋮ Mathematical applications of inductive logic programming ⋮ Automated conjecture making in number theory using HR, Otter and Maple
This page was built for publication:
