Journal article

Efficient Constraint Propagation Engines

Christian Schulte, Peter J Stuckey

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | ASSOC COMPUTING MACHINERY | Published : 2008

DOI: 10.1145/1452044.1452046

Citation metrics

51Web of Science
79Scopus

Keywords

Events
Science & Technology
Bounds
Languages
Experimentation
Computer Science, Software Engineering
Technology
Computer Science
Design
Constraint (logic) Programming
Finite Domain Constraints
Priorities
Constraint Propagation
Consistency
Computer Software; Information Systems
Fixpoint Reasoning
Performance