Automated Verification of Care Pathways Using Constraint Programming.
Renan Pereira de FigueiredoJoão Bosco Ferreira FilhoFlávio R. C. SousaPhilip WeberIan LitchfieldPublished in: IEEE J. Biomed. Health Informatics (2020)
Keyphrases
- constraint programming
- automated verification
- model checking
- automated reasoning
- combinatorial problems
- formal verification
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- global constraints
- np hard problems
- column generation
- search strategies
- arc consistency
- search heuristics
- temporal logic
- graph theory
- constraint logic programming
- constraint solver
- hard and soft constraints
- belief networks
- theorem prover
- symmetry breaking
- constraint problems
- finite domain
- probabilistic reasoning
- special case