Login / Signup

A Framework for Assertion-Based Debugging in Constraint Logic Programming.

Germán PueblaFrancisco BuenoManuel V. Hermenegildo
Published in: CP (1998)
Keyphrases
  • constraint logic programming
  • artificial intelligence
  • low level
  • dynamic programming
  • constraint solving