| 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
International Transactions in Operational Research | 2023-11-16 | Paper |
An efficient local search algorithm for minimum positive influence dominating set problem
Computers & Operations Research | 2023-07-04 | Paper |
On solving simplified diversified top-\(k\,s\)-plex problem
Computers & Operations Research | 2023-07-04 | Paper |
Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism
Artificial Intelligence | 2023-01-04 | Paper |
A hybrid ant colony algorithm for the winner determination problem
Mathematical Biosciences and Engineering | 2022-04-25 | Paper |
An improved configuration checking-based algorithm for the unicost set covering problem
European Journal of Operational Research | 2021-11-05 | Paper |
Solving the set packing problem via a maximum weighted independent set heuristic
Mathematical Problems in Engineering | 2021-01-04 | Paper |
New heuristic approaches for maximum balanced biclique problem
Information Sciences | 2020-07-20 | Paper |
SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem
Artificial Intelligence | 2020-02-26 | Paper |
Local search for diversified top-\(k\) clique search problem
Computers & Operations Research | 2020-01-27 | Paper |
An efficient local search framework for the minimum weighted vertex cover problem
Information Sciences | 2020-01-07 | Paper |
| scientific article; zbMATH DE number 7108059 (Why is no real title available?) | 2019-09-20 | Paper |
Phase Transition for Maximum Not-All-Equal Satisfiability
Frontiers in Algorithmics | 2019-04-26 | Paper |
The Broken-Triangle Property with Adjoint Values
Frontiers in Algorithmics | 2019-04-26 | Paper |
Identifying N\(^6\)-methyladenosine sites using extreme gradient boosting system optimized by particle swarm optimizer
Journal of Theoretical Biology | 2019-03-11 | Paper |
An efficient heuristic algorithm for solving connected vertex cover problem
Mathematical Problems in Engineering | 2019-02-08 | Paper |
On blockwise symmetric matchgate signatures and higher domain \#CSP
Information and Computation | 2018-12-21 | Paper |
A novel local search algorithm with configuration checking and scoring mechanism for the set k‐covering problem
International Transactions in Operational Research | 2018-01-24 | Paper |
| Local search algorithm for solving \#SMT problem | 2017-05-17 | Paper |
New canonical representations by augmenting OBDDs with conjunctive decomposition
Journal of Artificial Intelligence Research | 2017-04-10 | Paper |
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function
Journal of Artificial Intelligence Research | 2017-02-17 | Paper |
Two approximate algorithms for model counting
Theoretical Computer Science | 2017-02-06 | Paper |
Soft hyperrings and their (fuzzy) isomorphism theorems.
Hacettepe Journal of Mathematics and Statistics | 2016-10-13 | Paper |
An effective differential evolution algorithm for permutation flow shop scheduling problem
Applied Mathematics and Computation | 2016-06-20 | Paper |
Modified differential evolution with self-adaptive parameters method
Journal of Combinatorial Optimization | 2016-02-23 | Paper |
An upper (lower) bound for Max (Min) CSP
Science China Information Sciences | 2015-11-20 | Paper |
Approximate model counting via extension rule
Frontiers in Algorithmics | 2015-11-12 | Paper |
Phase transitions of contingent planning problem
Mathematical Problems in Engineering | 2014-11-24 | Paper |
Multi-operator based biogeography based optimization with mutation for global numerical optimization
Computers & Mathematics with Applications | 2013-07-25 | Paper |
Notes on: ``Interval-valued intuitionistic fuzzy soft sets and their properties
Computers & Mathematics with Applications | 2013-07-25 | Paper |
Fuzzy multiset finite automata and their languages
Soft Computing | 2013-06-11 | Paper |
A heuristic survey propagation algorithm for solving QBF problems
Journal of Software | 2012-10-05 | Paper |
Phase transitions of EXPSPACE-complete problems: a further step
International Journal of Foundations of Computer Science | 2012-08-30 | Paper |
The worst-case upper bound for exact 3-satisfiability with the number of clauses as the parameter
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | 2012-07-16 | Paper |
Soft polygroups
Computers & Mathematics with Applications | 2012-04-22 | Paper |
A perturb biogeography based optimization with mutation for global numerical optimization
Applied Mathematics and Computation | 2011-10-11 | Paper |
Possibilistic extension rules for reasoning and knowledge compilation
Journal of Software | 2011-09-29 | Paper |
Phase transitions of EXPSPACE-complete problems
International Journal of Foundations of Computer Science | 2011-01-19 | Paper |
Solving \#SAT using extension rules
Journal of Software | 2010-11-05 | Paper |
| A multiobjective incremental heuristic search algorithm | 2010-11-05 | Paper |
Reverse bridge theorem under constraint partition
Mathematical Problems in Engineering | 2010-09-30 | Paper |
Product structure of the fuzzy \(n\)-ary factor polygroup.
Computers & Mathematics with Applications | 2010-08-26 | Paper |
Improved Propositional Extension Rule
Rough Sets and Knowledge Technology | 2007-09-07 | Paper |
