Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christian Posthoff
The Solution of SAT Problems Using Ternary Vectors and Parallel Processing
International Journal of Electronics and Telecommunications
Set-Based SAT-solving
Facta universitatis - series: Electronics and Energetics
Related publications
Approximate Solution of Weighted MAX-SAT Problems Using GRASP
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
From Parallel SAT to Distributed SAT
Active Sensor System Using Parallel Processing Circuits
Journal of Robotics and Mechatronics
Electronic Engineering
Electrical
Computer Science
Fields of Parallel Vectors in the Geometry of Paths
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Determinant Inequalities Concerning the Solution of Wave Diffraction Problems With Several Parallel Sommerfeld Half Planes
Operators and Matrices
Number Theory
Analysis
Algebra
A Parallel Algorithm for Transient Stability Analysis Using Sparse Vectors and Inverse Factors
IEEJ Transactions on Power and Energy
Electronic Engineering
Power Technology
Electrical
Energy Engineering
Optical Parallel Data Processing Using Organic Photochromic Materials
Kobunshi
Materials Science
Polymers
Plastics
Chemical Engineering
Environmental Science
Ternary Additive Problems of Waring's Type.
Mathematica Scandinavica
Mathematics
Osmotic Dehydration Characteristics of Pumpkin Slices Using Ternary Osmotic Solution of Sucrose and Sodium Chloride
Journal of Food Processing & Technology
