The log-support encoding of CSP into SAT

• GAVANELLI M.

Journal

• Proc. 13th Int. Conf. on Principles and Practice of Constraint Programming (CP 2007)

  Proc. 13th Int. Conf. on Principles and Practice of Constraint Programming (CP 2007) 815-822, 2007

Details

• CRID: 1570572701038342912
• NII Article ID: 10026031046
• Data Source:
  • CiNii Articles