Path consistency in clp(FD)

DOI10.1007/BFb0016854zbMath1495.68030OpenAlexW1541367256MaRDI QIDQ5096309

Philippe Codognet, Giuseppe Nardiello

Publication date: 16 August 2022

Published in: Constraints in Computational Logics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A generic arc-consistency algorithm and its specializations
• The logic of constraint satisfaction
• Consistency in networks of relations
• Networks of constraints: Fundamental properties and applications to picture processing
• Compiling constraints in clp(FD)
• Design, implementation, and evaluation of the constraint language cc(FD)
• Solving large combinatorial problems in logic programming

This page was built for publication: Path consistency in clp(FD)