Skip to main navigation
Skip to search
Skip to main content
Ulster University Home
Home
Researchers
Research units
Projects
Research output
Student theses
Datasets
Activities
Press/Media
Prizes
Search by expertise, name or affiliation
Focused random walk with probability distribution for SAT with long clauses
Huimin Fu,
J. Liu
, Yang Xu
School of Computing
Faculty Of Computing, Eng. & Built Env.
Computer Science and Informatics Research
Research output
:
Contribution to journal
›
Article
›
peer-review
2
Citations (Scopus)
109
Downloads (Pure)
Overview
Fingerprint
Researchers
(1)
Fingerprint
Dive into the research topics of 'Focused random walk with probability distribution for SAT with long clauses'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Art Performance
100%
Random Walk
100%
Stochastic Local Search
75%
Feature Selection
50%
Local Search Algorithm
50%
Satisfiability Problem
50%
Function Value
25%
Case Study
25%
Engineering
Local Search
100%
Broad Range
66%
Boltzmann Equation
66%
Search Algorithm
66%
Exponential Decay
33%
Value Function
33%