Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Guanfeng Wu
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
Related publications
Solving the SAT Problem Using Genetic Algorithm
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
Towards Fewer Parameters for SAT Clause Weighting Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
FPGA Based Runtime Configurable Clause Evaluator for SAT Problems
Electronics Letters
Electronic Engineering
Electrical
A Hybrid Algorithm for the Robust Graph Coloring Problem
Revista de Matemática: Teoría y Aplicaciones
A Hybrid Genetic Algorithm for Satellite Image Downlink Scheduling Problem
Discrete Dynamics in Nature and Society
Modeling
Simulation
A Hybrid Memetic Algorithm for the Competitive P-Median Problem
IFAC Proceedings Volumes
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Hybrid Heuristic Algorithm for Ship Block Construction Space Scheduling Problem
Discrete Dynamics in Nature and Society
Modeling
Simulation
A Hybrid Evolutionary Algorithm for Solving Flexible Job Shop Scheduling Problem
IJCI. International Journal of Computers and Information
