Constraint Answer Set Solving

Martin Gebser, Max Ostrowski, Torsten Schaub. Constraint Answer Set Solving. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 235-249, Springer, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.