daajoe / dynasp_experiments

Experiments for the dynasp solver

DynASP Experiments

Solver see: https://github.com/daajoe/dynasp

Content

LPNMR 2017

• Experiments for an LPNMR 2017 paper
• See:
  • LPNMR17 Branch
  • Used DynASP solver
  • Authors self-archived version of the paper
  • Earlier Version of the paper