Oz Explorer

swMATH23612MaRDI QIDQ35383FDOQ35383

Author name not available (Why is that?)

Cited In (4)

• Visual search tree profiling
• How efficient is a global constraint in practice? A fair experimental framework
• Model-driven visualizations of constraint-based local search
• An Interactive Driver for Goal-directed Proof Strategies

This page was built for software: Oz Explorer