CSPLib
Problems
prob043
Models
043: differential diagnosis
Specification
Data files
Results
References
Models
Cite
Json
Edit Page