Publications of A. Neumann sorted by journal and type
Publications of type Inproceedings
to appear
| , , and , Conflict-Driven Answer Set Solving, pages 386-392, to appear |
| , , and , Conflict-Driven Answer Set Solving, pages 386-392, to appear |