Publications of M. Gebser sorted by recency
Conflict-Driven Answer Set Solving, pages 386-392, to appear | , , and ,
Advances in \textit{gringo} Series 3, pages 345-351, to appear | , , and ,
Conflict-Driven Answer Set Solving, pages 386-392, to appear | , , and ,
Advances in \textit{gringo} Series 3, pages 345-351, to appear | , , and ,