Login / Signup
Towards the Verification of Concurrent Constaint Programs in the Field of Finite Domain Reasoning.
Jörg Würtz
Published in:
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Keyphrases
</>
finite domain
constraint satisfaction problems
constraint programming
constraint logic programming
constraint propagation
knowledge representation
objective function
knowledge base
bayesian networks
dynamic programming
integrity constraints
satisfiability problem
state variables
constraint solving