Answer set programming modulo theories

Yisong Wang, Mingyi Zhang
January 2011
Cite
Type
Conference paper
Publication
Applied Informatics and Communication - International Conference

Add the full text or supplementary notes for the publication here using Markdown formatting.