Open AccessSatisfiability Checking of Clinical Practice Guidelines Using an Analyzer
Author(s) -
Morteza Yousef Sanati,
Amirabbas Asadi
Publication year - 2020
Publication title -
modern care journal
Language(s) - English
Resource type - Journals
ISSN - 2423-7876
DOI - 10.5812/modernc.98204
Subject(s) - guideline , consistency (knowledge bases) , metric (unit) , computer science , satisfiability , spectrum analyzer , algorithm , clinical practice , medicine , model checking , medical physics , reliability engineering , data mining , artificial intelligence , operations management , family medicine , pathology , engineering , telecommunications