WASP: A Native ASP Solver Based on Constraint Learning

@inproceedings{Alviano2013WASPAN,
  title={WASP: A Native ASP Solver Based on Constraint Learning},
  author={Mario Alviano and Carmine Dodaro and Wolfgang Faber and Nicola Leone and Francesco Ricca},
  booktitle={LPNMR},
  year={2013}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 51 extracted citations

Similar Papers

Loading similar papers…