Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
From MaRDI portal
Publication:3608450
DOI10.1007/978-3-540-73817-6_9zbMath1176.68201OpenAlexW1519562781MaRDI QIDQ3608450
Thom Frühwirth, Khalil Djelloul, Marc Meister
Publication date: 5 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73817-6_9
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)