scientific article; zbMATH DE number 549964

zbMath0789.68021MaRDI QIDQ4287483

Yves Deville, Pascal Van Hentenryck

Publication date: 6 May 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticsconstraint logic programmingarc-consistencyask \(\&\) tell theoriesincomplete constraint-solver

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Finite-horizon scheduling of radar dwells with online template construction, Incremental constraint satisfaction for equational logic programming, A new generic scheme for functional logic programming with constraints, On the reification of global constraints