The order encoding: from tractable CSP to tractable SAT (extended abstract)

Geahča maid

• The order encoding: from tractable CSP to tractable SAT
  Dahkki: Petke, J, et al.
  Almmustuhtton: (2011)
• The order encoding: From tractable CSP to tractable SAT
  Dahkki: Petke, J, et al.
  Almmustuhtton: (2011)
• Tractable Benchmarks For Constraint Programming
  Dahkki: Petke, J, et al.
  Almmustuhtton: (2009)
• Tractable Constraints on Ordered Domains
  Dahkki: P.G.Jeavons, et al.
  Almmustuhtton: (1995)
• Tractable valued constraints
  Dahkki: Jeavons, P, et al.
  Almmustuhtton: (2012)