Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ruiwen Chen
An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
An Improved Genetic Algorithm for Developing Deterministic OTP Key Generator
Complexity
Multidisciplinary
Computer Science
A Deterministic Multivariate Interpolation Algorithm for Small Finite Fields
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
An Approximation Algorithm for MAX-2-SAT With Cardinality Constraint
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
PID Optimization With Regulation-Based Formulas and Improved Differential Evolution Algorithm
Advanced Engineering Forum
An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems
International Journal of Foundations of Computer Science
Computer Science
New & Improved Models for SAT-based Bi-Decomposition
Model Checking With SAT-Based Characterization of ACTL Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Improved De-Noising Algorithm for Bayesian Network Classifiers Parameter Learning
DEStech Transactions on Engineering and Technology Research
Randomized Variants of Johnson's Algorithm for MAX SAT
