default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuanfeng Wu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j17]Hailin Guo, Feng Cao, Jianbing Yi, Guanfeng Wu, Weicai Li:
A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule. Int. J. Comput. Intell. Syst. 18(1): 4 (2025)- [j16]Zhihui Li, Shuwei Chen, Guanfeng Wu, Yang Xu:
Instance Assignment Coverage Feature for Operation Control of SAT Solver. Int. J. Comput. Intell. Syst. 18(1): 70 (2025) - 2024
- [j15]Guanfeng Wu
, Abbas Haider, Xing Tian, Erfan Loweimi, Chi-Ho Chan, Mengjie Qian, Muhammad Junaid Awan, Ivor T. A. Spence, Rob Cooper, Wing W. Y. Ng, Josef Kittler, Mark J. F. Gales, Hui Wang:
Multi-modal video search by examples - A video quality impact analysis. IET Comput. Vis. 18(7): 1017-1033 (2024) - [j14]Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu:
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. Inf. Sci. 653: 119751 (2024) - [j13]Abbas Haider, Guanfeng Wu, Ivor T. A. Spence, Hui Wang:
Residual feature decomposition and multi-task learning-based variation-invariant face recognition. Neural Comput. Appl. 36(32): 20147-20166 (2024) - [c14]Hui Wang, Josef Kittler, Mark J. F. Gales, Rob Cooper, Maurice D. Mulvenna, Wing W. Y. Ng, Yang Hua, Richard Gault, Abbas Haider, Guanfeng Wu:
MVRMLM 2024: Multimodal Video Retrieval and Multimodal Language Modelling. ICMR 2024: 1345-1346 - [c13]Guanfeng Wu, Abbas Haider, Ivor T. A. Spence, Hui Wang:
Multi Modal Fusion for Video Retrieval based on CLIP Guide Feature Alignment. MVRMLM@ICMR 2024: 45-50 - 2023
- [j12]Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu:
Fully reusing clause deduction algorithm based on standard contradiction separation rule. Inf. Sci. 622: 337-356 (2023) - [j11]Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu:
An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. Knowl. Based Syst. 261: 110217 (2023) - [c12]Kyle Boyd, Patrick McAllister, Maurice D. Mulvenna, Raymond R. Bond, Hui Wang, Ivor T. A. Spence, Guanfeng Wu, Abbas Haider:
Designing Multimodal Video Search by Examples (MVSE) user interfaces: UX requirements elicitation and insights from semi-structured interviews. ECCE 2023: 4:1-4:8 - [c11]Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen:
Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. ISKE 2023: 450-457 - 2022
- [j10]Huimin Fu, Jun Liu, Guanfeng Wu, Yang Xu, Geoff Sutcliffe:
Improving probability selection based weights for satisfiability problems. Knowl. Based Syst. 245: 108572 (2022) - 2021
- [j9]Huimin Fu, Guanfeng Wu, Jun Liu, Yang Xu:
More efficient stochastic local search for satisfiability. Appl. Intell. 51(6): 3996-4015 (2021) - [j8]Huimin Fu, Wuyang Zhang, Guanfeng Wu, Yang Xu, Jun Liu:
Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment. Comput. Intell. 37(4): 1706-1744 (2021) - [j7]Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He:
Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf. Sci. 566: 118-139 (2021) - [c10]Peiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao:
Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule. ISKE 2021: 11-14 - [c9]Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao:
Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. ISKE 2021: 47-51 - 2020
- [i1]Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe:
Improving probability selecting based weights for Satisfiability Problem. CoRR abs/2007.15185 (2020)
2010 – 2019
- 2019
- [j6]Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu:
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. Int. J. Comput. Intell. Syst. 12(2): 1245-1254 (2019) - [c8]Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu:
A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance. ISKE 2019: 69-73 - 2018
- [j5]Huimin Fu, Yang Xu, Guanfeng Wu, Hairui Jia, Wuyang Zhang, Rong Hu:
An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy. Int. J. Comput. Intell. Syst. 11(1): 402-413 (2018) - [j4]Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He:
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. 12(1): 250-258 (2018) - [j3]Qingshan Chen, Yang Xu, Guanfeng Wu:
基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength). 计算机科学 45(12): 137-141 (2018) - [j2]Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu:
Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic. Symmetry 10(11): 553 (2018) - 2017
- [j1]Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He:
一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). 计算机科学 44(11): 279-283 (2017) - [c7]Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu:
Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic. ISKE 2017: 1-5 - [c6]Wenjing Chang, Guanfeng Wu, Yang Xu:
Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers. ISKE 2017: 1-6 - [c5]Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He:
Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE 2017: 1-5 - [c4]Huimin Fu, Yang Xu, Guanfeng Wu, Xinran Ning:
An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy. ISKE 2017: 1-6 - [c3]Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong:
Parallel hybrid genetic algorithm for sat problems based on OpenMP. ISKE 2017: 1-5 - [c2]Peng Xu, Meirong Chen, Lifang Feng, Guanfeng Wu, Fangli Ma, DanChen Wang:
An application security model based on business process in information system. ISKE 2017: 1-4 - [c1]Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu:
Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS. ISKE 2017: 1-6
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-08 20:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
