Main » Synth-ICR » 2012 »

2012


Anthology ID:
2012.synthesis_series-2012Gebser
Year:
2012
BibTeX:
Download

doi dblp
Answer Set Solving in Practice
Martin Gebser | Roland Kaminski | Benjamin Kaufmann | Torsten Schaub