Skip to main navigation
Skip to search
Skip to main content
Home
Profiles
Research Units
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.
Research output
:
Contribution to journal
›
Article
›
peer-review
1
Citation (Scopus)
Overview
Fingerprint
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
Engineering & Materials Science
Probability distributions
Phase transitions
Polynomials