Amanote Research
Register
Sign In
Sat in the Center
The Iowa Review
doi 10.17077/0021-065x.1912
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 1975
Authors
Samuel Makidemewabe
Howard Norman
Publisher
The University of Iowa
Related search
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