On the Number of Rule Applications in Constraint Programs
From MaRDI portal
Publication:4923523
DOI10.1016/S1571-0661(04)00154-9zbMath1263.68045MaRDI QIDQ4923523
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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Cites Work