Mozart
From MaRDI portal
Cited in
(32)- 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
- Figaro
- JavaLog
- Helios
- LogiMOO
- CLAIRE
- KLIC
- FRODO__2
- DECAF
- METATEM
- Oz
- Skyblue
- CaSPER
- Metropolis
- Newton
- DOC-BRelax
- JSetL
- FaCiLe
- Constraint solving for proof planning
- scientific article; zbMATH DE number 1497836 (Why is no real title available?)
- scientific article; zbMATH DE number 2090294 (Why is no real title available?)
- Global constraints for round robin tournament scheduling.
- scientific article; zbMATH DE number 1926603 (Why is no real title available?)
- Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game
- From eager or lazy constrained data acquisition: A general framework
This page was built for software: Mozart
