Login / Signup
A Framework for Assertion-Based Debugging in Constraint Logic Programming.
Germán Puebla
Francisco Bueno
Manuel V. Hermenegildo
Published in:
CP (1998)
Keyphrases
</>
constraint logic programming
artificial intelligence
low level
dynamic programming
constraint solving