Conference Proceedings

Lazy model expansion by incremental grounding

B De Cat, M Denecker, P Stuckey

Technical Communications of the 28th International Conference on Logic Programming (ICLP�12) | Published : 2012

DOI: 10.4230/LIPIcs.ICLP.2012.201

Citation metrics

9Scopus