Publications of M. Gebser sorted by first author
G
| , , 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 , Conflict-Driven Answer Set Solving, pages 386-392, to appear |