ACM Transactions on Computational Logic (TOCL)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
SALSA: A Language for Search Algorithms
Constraints
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
Proceedings of the 17th International Conference on Logic Programming
Non-monotonic Reasoning on Beowulf Platforms
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Robust and Parallel Solving of a Network Design Problem
CP '02 Proceedings of the 8th 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
A decomposition-based implementation of search strategies
ACM Transactions on Computational Logic (TOCL)
Control Abstractions for Local Search
Constraints
A unified framework for partial and hybrid search methods in constraint programming
Computers and Operations Research
Parallel and distributed local search in COMET
Computers and Operations Research
Transparent Parallelization of Constraint Programming
INFORMS Journal on Computing
Experiments with massively parallel constraint solving
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Computer Languages, Systems and Structures
Parallelizing constraint programs transparently
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Confidence-based work stealing in parallel constraint programming
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Maintaining state in propagation solvers
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
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
Parallel constraint-based local search on the HA8000 supercomputer (abstract)
Proceedings of the 2011 ACM Symposium on Applied Computing
Experiments in parallel constraint-based local search
EvoCOP'11 Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization
Itemset mining: A constraint programming perspective
Artificial Intelligence
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Distributed constraint-based local search
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
High-level nondeterministic abstractions in c++
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
An investigation of sharing strategies for answer set solvers and SAT solvers
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Targeting the Cell Broadband Engine for constraint-based local search
Concurrency and Computation: Practice & Experience
Constraints
Hi-index | 0.00 |