Integrating Search Objects in Asynchronous Constraint Solving

Asynchronous Constraint Solving (ACS) integrates dynamic constraint processing into concurrent Object Oriented Programming. Cooperating constraint solvers run in parallel to the application program and infer actual variable domains incrementally from constraints that are added or retracted in the application thread. Constraint addition starts a chaotic iteration on the variable domains leading to a fixed point where no more domain reductions can be deduced from the constraint implementations. Constraint retraction removes all consequences of a constraint from the knowledge represented in the variables and can thus be considered the inverse operation to constraint addition.