Justifications in constraint handling rules for logical retraction in dynamic algorithms

DOI10.1007/978-3-319-94460-9_9zbMath1471.68048arXiv1706.07946OpenAlexW2963396218MaRDI QIDQ1671149

Thom Frühwirth

Publication date: 6 September 2018

Full work available at URL: https://arxiv.org/abs/1706.07946

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Logic programming (68N17)

This page was built for publication: Justifications in constraint handling rules for logical retraction in dynamic algorithms