Local search for distributed SAT with complex local problems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Distributed Reinforcement of Arc-Consistency
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems
Artificial Intelligence Review
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Boosting distributed constraint satisfaction
Journal of Heuristics
An overview of parallel SAT solving
Constraints
Hi-index | 0.00 |