Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)