Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Novel Implementation of the Extended Andorra Model
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Exploiting Efficient Control and Data Structures in Logic Programs
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Hi-index | 0.00 |