On the Number of Rule Applications in Constraint Programs

DOI10.1016/S1571-0661(04)00154-9zbMath1263.68045OpenAlexW2002228032MaRDI QIDQ4923523

Thom Frühwirth

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00154-9

zbMATH Keywords

program analysisterminationconstraint solvingderivation lengthsconstraint handling rules

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• A generic arc-consistency algorithm and its specializations
• Theory and practice of constraint handling rules
• Editorial. Special issue on description logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Number of Rule Applications in Constraint Programs