Intelligent search strategies based on adaptive Constraint Handling Rules

DOI10.1017/S1471068405002383zbMath1105.68429OpenAlexW2096130748MaRDI QIDQ5696597

Armin Wolf

Publication date: 18 October 2005

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068405002383

zbMATH Keywords

constraint satisfaction

Mathematics Subject Classification ID

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

Related Items (3)

A Flexible Search Framework for CHR ⋮ Adaptive CHR Meets CHR ∨ ⋮ CHR for Imperative Host Languages

This page was built for publication: Intelligent search strategies based on adaptive Constraint Handling Rules