An extensible SAT-solver

• EEN N.

Journal

• Proc. 6th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT-2003)

  Proc. 6th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT-2003) 502-518, 2003

Details

• CRID: 1573387450806004864
• NII Article ID: 10026031169
• Data Source:
  • CiNii Articles