Journal article

When do bounds and domain propagation lead to the same search space?

C Schulte, PJ Stuckey

ACM Transactions on Programming Languages and Systems | ASSOC COMPUTING MACHINERY | Published : 2005

DOI: 10.1145/1065887.1065889

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Citation metrics

18Web of Science

Keywords

Domain Propagation

Bounds Propagation

Program Analysis

Abstract Interpretation

Constraint (logic) Programming

Finite Domain Constraints

Computer Science, Software Engineering

Computer Science

Science & Technology