Publications

Export 1 results:
Filters: Author is Manthey, Norbert  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
M Arif, F., C. Mencía, A. Ignatiev, N. Manthey, R. Peñaloza, and J. Marques-Silva, "BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 521–530, 2016.