A new encoding of alldifferent into SAT

• GENT I. P.

Journal

• Proc. 3rd Int. Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 2004

  Proc. 3rd Int. Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 2004 2004

Details

• CRID: 1574231875735583744
• NII Article ID: 10026031049
• Data Source:
  • CiNii Articles