Jigui Sun

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
A heuristic survey propagation algorithm for solving QBF problems	2012-10-05	Paper
Possibilistic Extension Rules for Reasoning and Knowledge Compilation	2011-09-29	Paper
Solving \#SAT using extension rules	2010-11-05	Paper
An improved particle swarm optimization algorithm for flowshop scheduling problem	2010-06-09	Paper
Clustering algorithms research	2010-02-12	Paper
An approach for constructing decision trees based on dispersion degrees	2009-07-22	Paper
Extended Pawlak’s Flow Graphs and Information Theory	2009-07-02	Paper
Feature selection with dynamic mutual information	2009-05-07	Paper
Interpretation of Extended Pawlak Flow Graphs Using Granular Computing	2009-02-10	Paper
An Interpretation of Flow Graphs by Granular Computing	2008-11-13	Paper
An Extension of Pawlak’s Flow Graphs	2007-09-07	Paper
Improved Propositional Extension Rule	2007-09-07	Paper
Computing minimal hitting sets with a genetic algorithm	2007-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q5754361	2007-08-22	Paper
Modal extension rule	2006-05-22	Paper
https://portal.mardi4nfdi.de/entity/Q5698259	2005-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5698235	2005-10-27	Paper
Knowledge compilation using the extension rule	2004-08-16	Paper
Theorem proving based on the extension rule	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4441060	2004-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4426993	2003-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4539124	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539049	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539245	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539039	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539064	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539149	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539153	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539154	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539238	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539317	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539318	2002-07-04	Paper
Generalized resolution and NC-resolution	1994-08-21	Paper
Nonequivalence of input paramodulation refutation and unit paramodulation refutation	1993-05-16	Paper

Research outcomes over time

This page was built for person: Jigui Sun