Mozart
From MaRDI portal
Software:16927
swMATH4759MaRDI QIDQ16927FDOQ16927
Author name not available (Why is that?)
Cited In (15)
- 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?)
- Title not available (Why is that?)
- 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
