A New Method for Solving Hard Satisfiability Problems

Author(s)

Journal

  • Proceedings 10th National Conference on Artificial Intelligence, 1992

    Proceedings 10th National Conference on Artificial Intelligence, 1992, 1992

Cited by:  2

Codes

  • NII Article ID (NAID)
    10014960544
  • Article Type
    Proceedings
  • Data Source
    CJPref 
Page Top