Publication:3011297
From MaRDI portal
zbMath1215.68211arXiv1011.4377MaRDI QIDQ3011297
Publication date: 28 June 2011
Full work available at URL: https://arxiv.org/abs/1011.4377
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Uses Software