Amirabbas Asadi

Satisfiability Checking of Clinical Practice Guidelines Using an Analyzer

2020 · Modern Care Journal

: A clinical practice guideline consists of the best practices required for managing a particular disease. Designing a consistent guideline is difficult and error-prone; hence, checking the consistency of guidelines is crucial. Due to the …