Michael J. Swain

Publications (3)0 Total impact

• Source

  Available from: ijcai.org

  Conference Proceeding: Domain Dependence in Parallel Constraint Satisfaction.

  Paul R. Cooper, Michael J. Swain
  01/1989
• Source

  Available from: aaaipress.org

  Conference Proceeding: Parallel Hardware for Constraint Satisfaction.

  Michael J. Swain, Paul R. Cooper
  Proceedings of the 7th National Conference on Artificial Intelligence. St. Paul, MN, August 21-26, 1988.; 01/1988
• Article: Arc consistency: parallelism and domain dependence

  Paul R. Cooper, Michael J. Swain
  [show abstract] [hide abstract]
  ABSTRACT: This paper discusses how better arc consistency algorithms for constraint satisfaction can be developed by exploiting parallelism and domain-specific problem characteristics. A massively parallel algorithm for arc consistency is given, expressed as a digital circuit. For a constraint satisfaction problem with n variables and a labels, this algorithm has a worst-case time complexity of O(na), significantly better than that of the optimal uniprocessor algorithm. An algorithm of intermediate parallelism suitable for implementation on a SIMD machine is also given. Analyses and implementation experiments are shown for both algorithms.A method for exploiting characteristics of a problem domain to achieve arc consistency algorithms with better time and space complexity is also discussed. A general technique for expressing domain knowledge and using it to develop optimized arc consistency algorithms is described. The domain-specific optimizations can be applied analogously to any of the arc consistency algorithms along the sequential/parallel spectrum.
  Artificial Intelligence.