| Publication | Date of Publication | Type |
|---|
A heuristic survey propagation algorithm for solving QBF problems
Journal of Software | 2012-10-05 | Paper |
Possibilistic extension rules for reasoning and knowledge compilation
Journal of Software | 2011-09-29 | Paper |
Solving \#SAT using extension rules
Journal of Software | 2010-11-05 | Paper |
An improved particle swarm optimization algorithm for flowshop scheduling problem
Information Processing Letters | 2010-06-09 | Paper |
Clustering algorithms research
Journal of Software | 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
Transactions on Computational Science V | 2009-07-02 | Paper |
Feature selection with dynamic mutual information
Pattern Recognition | 2009-05-07 | Paper |
Interpretation of Extended Pawlak Flow Graphs Using Granular Computing
Transactions on Rough Sets VIII | 2009-02-10 | Paper |
An Interpretation of Flow Graphs by Granular Computing
Rough Sets and Current Trends in Computing | 2008-11-13 | Paper |
An Extension of Pawlak’s Flow Graphs
Rough Sets and Knowledge Technology | 2007-09-07 | Paper |
Improved Propositional Extension Rule
Rough Sets and Knowledge Technology | 2007-09-07 | Paper |
| Computing minimal hitting sets with a genetic algorithm | 2007-08-22 | Paper |
| scientific article; zbMATH DE number 5181651 (Why is no real title available?) | 2007-08-22 | Paper |
Modal extension rule
Progress in Natural Science | 2006-05-22 | Paper |
| scientific article; zbMATH DE number 2219519 (Why is no real title available?) | 2005-10-27 | Paper |
| scientific article; zbMATH DE number 2219496 (Why is no real title available?) | 2005-10-27 | Paper |
Knowledge compilation using the extension rule
Journal of Automated Reasoning | 2004-08-16 | Paper |
Theorem proving based on the extension rule
Journal of Automated Reasoning | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 2020426 (Why is no real title available?) | 2004-01-04 | Paper |
| scientific article; zbMATH DE number 1983119 (Why is no real title available?) | 2003-09-18 | Paper |
| scientific article; zbMATH DE number 1763627 (Why is no real title available?) | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1763411 (Why is no real title available?) | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1763869 (Why is no real title available?) | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1763393 (Why is no real title available?) | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1763435 (Why is no real title available?) | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1763647 (Why is no real title available?) | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1763651 (Why is no real title available?) | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1763652 (Why is no real title available?) | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1763863 (Why is no real title available?) | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1763931 (Why is no real title available?) | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1763932 (Why is no real title available?) | 2002-07-04 | Paper |
Generalized resolution and NC-resolution
Journal of Computer Science and Technology | 1994-08-21 | Paper |
Nonequivalence of input paramodulation refutation and unit paramodulation refutation
Chinese Science Bulletin | 1993-05-16 | Paper |
