Efficient Conflict Driven Learning in a Boolean Satisfiability Solver

Author(s)

Journal

  • Proceedings of International Conference on Computer Aided Design (ICCAD 2001), San Jose, Nov.

    Proceedings of International Conference on Computer Aided Design (ICCAD 2001), San Jose, Nov., 279-285, 2001

Cited by:  1

Codes

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