| Publication | Date of Publication | Type |
|---|
| LS-DTKMS: A local search algorithm for diversified top-\(k\) MaxSAT problem | 2024-11-26 | Paper |
| MLQCC: an improved local search algorithm for the set k‐covering problem | 2023-11-16 | Paper |
| An efficient local search algorithm for minimum positive influence dominating set problem | 2023-07-04 | Paper |
| On solving simplified diversified top-\(k\,s\)-plex problem | 2023-07-04 | Paper |
| Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism | 2023-01-04 | Paper |
| A hybrid ant colony algorithm for the winner determination problem | 2022-04-25 | Paper |
| An improved configuration checking-based algorithm for the unicost set covering problem | 2021-11-05 | Paper |
| Solving the set packing problem via a maximum weighted independent set heuristic | 2021-01-04 | Paper |
| New heuristic approaches for maximum balanced biclique problem | 2020-07-20 | Paper |
| SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem | 2020-02-26 | Paper |
| Local search for diversified top-\(k\) clique search problem | 2020-01-27 | Paper |
| An efficient local search framework for the minimum weighted vertex cover problem | 2020-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5193531 | 2019-09-20 | Paper |
| Phase Transition for Maximum Not-All-Equal Satisfiability | 2019-04-26 | Paper |
| The Broken-Triangle Property with Adjoint Values | 2019-04-26 | Paper |
| Identifying N\(^6\)-methyladenosine sites using extreme gradient boosting system optimized by particle swarm optimizer | 2019-03-11 | Paper |
| An efficient heuristic algorithm for solving connected vertex cover problem | 2019-02-08 | Paper |
| On blockwise symmetric matchgate signatures and higher domain \#CSP | 2018-12-21 | Paper |
| A novel local search algorithm with configuration checking and scoring mechanism for the set k‐covering problem | 2018-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2984837 | 2017-05-17 | Paper |
| New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition | 2017-04-10 | Paper |
| Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function | 2017-02-17 | Paper |
| Two approximate algorithms for model counting | 2017-02-06 | Paper |
| Soft hyperrings and their (fuzzy) isomorphism theorems. | 2016-10-13 | Paper |
| An effective differential evolution algorithm for permutation flow shop scheduling problem | 2016-06-20 | Paper |
| Modified differential evolution with self-adaptive parameters method | 2016-02-23 | Paper |
| An upper (lower) bound for Max (Min) CSP | 2015-11-20 | Paper |
| Approximate Model Counting via Extension Rule | 2015-11-12 | Paper |
| Phase transitions of contingent planning problem | 2014-11-24 | Paper |
| Multi-operator based biogeography based optimization with mutation for global numerical optimization | 2013-07-25 | Paper |
| Notes on: ``Interval-valued intuitionistic fuzzy soft sets and their properties | 2013-07-25 | Paper |
| Fuzzy multiset finite automata and their languages | 2013-06-11 | Paper |
| A heuristic survey propagation algorithm for solving QBF problems | 2012-10-05 | Paper |
| Phase transitions of EXPSPACE-complete problems: a further step | 2012-08-30 | Paper |
| The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter | 2012-07-16 | Paper |
| Soft polygroups | 2012-04-22 | Paper |
| A perturb biogeography based optimization with mutation for global numerical optimization | 2011-10-11 | Paper |
| Possibilistic Extension Rules for Reasoning and Knowledge Compilation | 2011-09-29 | Paper |
| PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS | 2011-01-19 | Paper |
| Solving #SAT Using Extension Rules | 2010-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3164700 | 2010-11-05 | Paper |
| Reverse bridge theorem under constraint partition | 2010-09-30 | Paper |
| Product structure of the fuzzy \(n\)-ary factor polygroup. | 2010-08-26 | Paper |
| Improved Propositional Extension Rule | 2007-09-07 | Paper |
