swMATH4759MaRDI QIDQ16927FDOQ16927
Author name not available (Why is that?)
Official website: http://www.mozart-oz.org/
Cited In (28)
- Executing formal specifications with concurrent constraint programming
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
- View-based propagator derivation
- Dominance constraints with Boolean connectives: A model-eliminative treatment
- Enhancing set constraint solvers with lexicographic bounds
- Logic programming in the context of multiparadigm programming: the Oz experience
- An analysis of arithmetic constraints on integer intervals
- A review of literature on parallel constraint solving
- Constraint solving for proof planning
- Title not available (Why is that?)
- Figaro
- Helios
- CLAIRE
- DECAF
- METATEM
- Oz
- Skyblue
- Title not available (Why is that?)
- CaSPER
- Metropolis
- Newton
- DOC-BRelax
- JSetL
- FaCiLe
- Global constraints for round robin tournament scheduling.
- Title not available (Why is that?)
- 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
This page was built for software: Mozart
