Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming

From MaRDI portal