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

Citation metrics

18Web of Science
21Scopus

Keywords

Technology
Domain Propagation
Science & Technology
Finite Domain Constraints
Bounds Propagation
Program Analysis
Constraint (logic) Programming
Abstract Interpretation
Computer Software; Information Systems
Computer Science
Computer Science, Software Engineering