Logic Programming

DOI10.1007/B99475MaRDI QIDQ5313196zbMATH OpenOpenAlexFDO

Authors Camilo Rueda, Frank D. Valencia

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99475

Mathematics Subject Classification ID

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

Recommendations

• Arc consistency revisited
• On the arc consistency problem
• scientific article; zbMATH DE number 67482
• AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm
• A generic arc-consistency algorithm and its specializations

Cited in

(2)

• Using constraint metaknowledge to reduce arc consistency computation
• A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems

This page was built for publication: Logic Programming

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