Computing stable models via reductions to boolean circuits and difference logic

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


Research units


Original languageEnglish
Title of host publicationComputation of Structures from Declarative Descriptions
Subtitle of host publication2nd International Workshop on Logic and Search (LaSh 2008). KU Leuven, Belgium, November 2008. Proceedings
EditorsMarc Denecker
Publication statusPublished - 2008
MoE publication typeA4 Article in a conference publication

ID: 21563825