[Back]


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.


Created from the Publication Database of the Vienna University of Technology.