Using CSP Look-Back Techniques to Solve Real-World SAT Instances

Journal

  • Proceedings of the National Conference on Artificial Intelligence (AAAI 2007)

    Proceedings of the National Conference on Artificial Intelligence (AAAI 2007), 203-208, 1997

Cited by:  1

Codes

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