Searching for "Forward Checking in Logic Programming." – sorted by Relevance.
-
Realization of Forward Checking in Logic Programming via Extended Unification
- Realization of Forward Checking in Logic Programming via Extended Unification Christian Holzbaur
- Add To MetaCart
-
Constraint (Logic) Programming: A Bibliography
- . Forward checking in logic programming. In ICLP'87: Proceedings 4th International Conference on Logic
- Add To MetaCart
-
Constraint Logic Programming: A Bibliography
- --765, Philadelphia, USA, August 1986. [299] P. van Hentenryck and M. Dincbas. Forward checking in logic programming
- Add To MetaCart

