Jigui Sun

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Heuristic Survey Propagation Algorithm for Solving QBF Problem	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
https://portal.mardi4nfdi.de/entity/Q5318697	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
https://portal.mardi4nfdi.de/entity/Q5754335	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/Q5698235	2005-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5698259	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/Q4539039	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539049	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539064	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4539124	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/Q4539245	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jigui Sun