The Quest for Efficient Boolean Satisfiability Solvers

Author(s)

Journal

  • Proceedings of 8th International Conference on Computer Aided Deduction (CADE 2002), Proceedings of 14th Conference on Computer Aided Verification (CAV2002), July

    Proceedings of 8th International Conference on Computer Aided Deduction (CADE 2002), Proceedings of 14th Conference on Computer Aided Verification (CAV2002), July, 17-36, 2002

Cited by:  1

Codes

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