Answer Set Programming via Mixed Integer Programming

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publication13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 10-14, 2012
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication

ID: 586818