Combining an improvement to PARMA trailing with trailing analysis
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Experiments in Parallel Execution of Answer Set Programs
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
A Toolkit for Constraint-Based Inference Engines
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Construction and Optimization of a Parallel Engine for Answer Set Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Non-monotonic Reasoning on Beowulf Platforms
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Components for State Restoration in Tree Search
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Control Abstractions for Local Search
Constraints
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
Theory and Practice of Logic Programming
A Flexible Search Framework for CHR
Constraint Handling Rules
Constraint solving in common Lisp
Proceedings of the 2007 International Lisp Conference
Monadic constraint programming
Journal of Functional Programming
Maintaining state in propagation solvers
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism
Journal of Experimental Algorithmics (JEA)
Generalized arc consistency for positive table constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Nondeterministic control for hybrid search
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Compositional abstractions for search factories
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
A general implementation framework for tabled CLP
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
A scalable sweep algorithm for the cumulative constraint
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |