Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by C.K. Chung
FPGA Based Runtime Configurable Clause Evaluator for SAT Problems
Electronics Letters
Electronic Engineering
Electrical
Related publications
Efficient SAT-based Boolean Matching for FPGA Technology Mapping
Dynamically Configurable Security for SRAM FPGA Bitstreams
International Journal of Embedded Systems
Hardware
Architecture
Software
Towards Fewer Parameters for SAT Clause Weighting Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
The Design and Implementation of Configurable Time-Delay Simulator Based on FPGA
DEStech Transactions on Engineering and Technology Research
A Configurable FPGA FEC Unit for Tb/S Optical Communication
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
Exploiting FPGA-Aware Merging of Custom Instructions for Runtime Reconfiguration
ACM Transactions on Reconfigurable Technology and Systems
Computer Science
