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