Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Samuel Makidemewabe
Sat in the Center
The Iowa Review
Related publications
Implementation of Egypt Sat-1 Satellite Test Center Using LabVIEW
American Journal of Software Engineering and Applications
From Parallel SAT to Distributed SAT
The Asymptotic K-Sat Threshold
To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale
Set-Based SAT-solving
Facta universitatis - series: Electronics and Energetics
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Essentials of the SAT 2003 Competition
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solving the SAT Problem Using Genetic Algorithm
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
A SAT Approach to Branchwidth