DiSCiPl
From MaRDI portal
Software:42803
swMATH31091MaRDI QIDQ42803FDOQ42803
Author name not available (Why is that?)
Cited In (7)
- Visual search tree profiling
- Towards a practical engineering tool for rostering
- Global constraint catalogue: past, present and future
- An integrated framework for the diagnosis and correction of rule-based programs
- Model-driven visualizations of constraint-based local search
- Justifications for logic programs under answer set semantics
- Visualising Reasoning: What ATP Can Learn From CP
This page was built for software: DiSCiPl
