Mozart
From MaRDI portal
Software:16927
No author found.
Related Items (15)
Logic programming in the context of multiparadigm programming: the Oz experience ⋮ A review of literature on parallel constraint solving ⋮ Unnamed Item ⋮ Global constraints for round robin tournament scheduling. ⋮ Unnamed Item ⋮ An analysis of arithmetic constraints on integer intervals ⋮ Enhancing set constraint solvers with lexicographic bounds ⋮ Unnamed Item ⋮ JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming ⋮ Constraint solving for proof planning ⋮ From eager or lazy constrained data acquisition: A general framework ⋮ Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game ⋮ View-based propagator derivation ⋮ Executing formal specifications with concurrent constraint programming ⋮ Dominance constraints with Boolean connectives: A model-eliminative treatment
This page was built for software: Mozart
