Practical applications of Boolean Satisfiability

Journal

  • Proceedings of 9th International Workshop on Discrete Event Systems (WODES'08)

    Proceedings of 9th International Workshop on Discrete Event Systems (WODES'08), 74-80, 2008

Cited by:  1

Codes

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