Some declarative approaches in tackling hard combinatorial problems


  1. RELATIONS BETWEEN CLP(FD) and ASP:

  2. PLANNING with action languages in ASP and CLP(FD)

  3. MULTI-AGENT PLANNING with action languages in CLP(FD)

  4. ANSWER SET SOLVING with CLP(FD)