All papers authored by Bernhard Bliem
Refreshing results…
Bernhard Bliem,
Stefan Woltran 
Equivalence Between Answer-Set Programs Under (Partially) Fixed Input
Download from doi.org
2012
Bernhard Bliem,
Michael Morak,
Stefan Woltran
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming
Download from arxiv.orgMissing publications? Search for publications with a matching author name.