Intelligent search strategies based on adaptive Constraint Handling Rules

DOI10.1017/S1471068405002383MaRDI QIDQ5696597zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2084710
• Adaptive CHR Meets CHR ∨
• Theory and practice of constraint handling rules
• Adaptive Constraint Satisfaction: The Quickest First Principle
• scientific article; zbMATH DE number 7047281

Cited in

(5)

• Adaptive CHR Meets CHR ∨
• CHR for Imperative Host Languages
• scientific article; zbMATH DE number 2084710 (Why is no real title available?)
• A Flexible Search Framework for CHR
• Evaluation of Rules for Coping with Insufficient Data in Constraint-Based Search Algorithms

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5696597)