Cited By
View all- Haan RKanj ISzeider S(2017)On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP InstancesACM Transactions on Computational Logic10.1145/309152818:3(1-46)Online publication date: 11-Aug-2017
- Hassan OKanj ILokshtanov DPerković L(2016)On the Ordered List Subgraph Embedding ProblemsAlgorithmica10.1007/s00453-015-9980-274:3(992-1018)Online publication date: 1-Mar-2016
- Song YLiu CWang Z(2015)A machine learning approach for accurate annotation of noncoding RNAsIEEE/ACM Transactions on Computational Biology and Bioinformatics10.1109/TCBB.2014.236675812:3(551-559)Online publication date: 1-May-2015
- Show More Cited By