A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets.
Lorena Rodrigues BrunoStéphane JuliaPublished in: ICEIS (1) (2022)
Keyphrases
- constraint propagation
- interval arithmetic
- finite domain
- constraint satisfaction problems
- constraint reasoning
- temporal constraints
- constraint solving
- constraint programming
- constraint satisfaction
- quantifier elimination
- search space
- backtracking algorithms
- constrained problems
- constraint solver
- constraint logic programming
- arc consistency
- constraint graph
- tree search
- soft constraints
- systematic search
- truth maintenance systems
- interval analysis