swMATH31091MaRDI QIDQ42803FDOQ42803
Author name not available (Why is that?)
Official website: http://www.cs.ucy.ac.cy/compulog/newpage37.htm
Cited In (21)
- Visualising reasoning: what ATP can learn from CP
- 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
- CPBPV
- DPvis
- CPGraph
- Kima
- Kernel-LEAF
- TeaBag
- ZDC
- MinisatID
- SATGraf
- VIFID/TRIFID
- Justifications for logic programs under answer set semantics
- Oz Explorer
- APT
- onlineSPARC
- HIBISCUS
This page was built for software: DiSCiPl
