Intelligent search strategies based on adaptive Constraint Handling Rules

DOI10.1017/S1471068405002383zbMATH Open1105.68429OpenAlexW2096130748MaRDI QIDQ5696597FDOQ5696597

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

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

zbMATH Keywords

constraint satisfaction

Mathematics Subject Classification ID

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

Cited In (5)

• Adaptive CHR Meets CHR ∨
• CHR for Imperative Host Languages
• Title not available (Why is that?)
• 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)