Research Output

Filter
Paper
2016

Breakid: Static symmetry breaking for ASP (system description)

Devriendt, J. & Bogaerts, B., 2016, p. 25-39. 15 p.

Research output: Contribution to conferencePaperScientificpeer-review

BreakID: Static Symmetry Breaking for ASP

Devriendt, J. & Bogaerts, B., 2016.

Research output: Contribution to conferencePaperScientific

Implementing a Relevance Tracker Module

Jansen, J., Bogaerts, B., Devriendt, J., Janssens, G. & Denecker, M., 2016.

Research output: Contribution to conferencePaperScientific