Talks and Poster Presentations (without Proceedings-Entry):
W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
"CEGARTIX: A SAT-Based Argumentation System";
Talk: Theory and Application of Satisfiability Testing -- SAT,
Trento, Italy;
2012-06-17
- 2012-06-20.