AuthorsA. Gotlieb, D. Marijan and H. Spieker
TitleStratified Constructive Disjunction and Negation in Constraint Programming
AfilliationSoftware Engineering
Project(s)The Certus Centre (SFI)
StatusAccepted
Publication TypeProceedings, refereed
Year of Publication2018
Conference NameInternational Conference on Tools with Artificial Intelligence
Citation Key26109

Contact person