Heuristics based on unit propagation for satisfiability problems

Author(s)

Journal

  • IJCAI, 1997

    IJCAI, 1997 1, 366-371, 1997

Cited by:  8

Codes

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