DiSCiPl
From MaRDI portal
Cited in
(21)- Visualising reasoning: what ATP can learn from CP
- Global constraint catalogue: past, present and future
- CPBPV
- DPvis
- An integrated framework for the diagnosis and correction of rule-based programs
- CPGraph
- Kima
- Kernel-LEAF
- TeaBag
- ZDC
- MinisatID
- SATGraf
- VIFID/TRIFID
- Towards a practical engineering tool for rostering
- Oz Explorer
- APT
- onlineSPARC
- HIBISCUS
- Model-driven visualizations of constraint-based local search
- Justifications for logic programs under answer set semantics
- Visual search tree profiling
This page was built for software: DiSCiPl
