Chaff : Engineering an Efficient SAT Solver

Author(s)

Journal

  • 39th Design Automation Conference, Las Vegas

    39th Design Automation Conference, Las Vegas, 2001

Cited by:  1

  • Consideration on parallel execution of SAT solvers  [in Japanese]

    UEDA Seiji , UKAI Satoshi , INOUE Katumi , BANBARA Mutsunori , TAMURA Naoyuki , KAWAMURA Takao

    IEICE technical report. Artificial intelligence and knowledge-based processing 103(103), 41-46, 2003-05-29

    References (12) Cited by (1)

Codes

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