Jigui Sun

From MaRDI portal
Person:975445

Available identifiers

zbMath Open sun.jiguiMaRDI QIDQ975445

List of research outcomes





PublicationDate of PublicationType
A heuristic survey propagation algorithm for solving QBF problems2012-10-05Paper
Possibilistic Extension Rules for Reasoning and Knowledge Compilation2011-09-29Paper
Solving \#SAT using extension rules2010-11-05Paper
An improved particle swarm optimization algorithm for flowshop scheduling problem2010-06-09Paper
Clustering algorithms research2010-02-12Paper
An approach for constructing decision trees based on dispersion degrees2009-07-22Paper
Extended Pawlak’s Flow Graphs and Information Theory2009-07-02Paper
Feature selection with dynamic mutual information2009-05-07Paper
Interpretation of Extended Pawlak Flow Graphs Using Granular Computing2009-02-10Paper
An Interpretation of Flow Graphs by Granular Computing2008-11-13Paper
An Extension of Pawlak’s Flow Graphs2007-09-07Paper
Improved Propositional Extension Rule2007-09-07Paper
Computing minimal hitting sets with a genetic algorithm2007-08-22Paper
https://portal.mardi4nfdi.de/entity/Q57543612007-08-22Paper
Modal extension rule2006-05-22Paper
https://portal.mardi4nfdi.de/entity/Q56982592005-10-27Paper
https://portal.mardi4nfdi.de/entity/Q56982352005-10-27Paper
Knowledge compilation using the extension rule2004-08-16Paper
Theorem proving based on the extension rule2004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44410602004-01-04Paper
https://portal.mardi4nfdi.de/entity/Q44269932003-09-18Paper
https://portal.mardi4nfdi.de/entity/Q45391242002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45390492002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45392452002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45390392002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45390642002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45391492002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45391532002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45391542002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45392382002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45393172002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45393182002-07-04Paper
Generalized resolution and NC-resolution1994-08-21Paper
Nonequivalence of input paramodulation refutation and unit paramodulation refutation1993-05-16Paper

Research outcomes over time

This page was built for person: Jigui Sun