Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Muhammad Zubair Malik
Specification-Based Program Repair Using SAT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
SAT-Based Compositional Verification Using Lazy Learning
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Software
Set-Based SAT-solving
Facta universitatis - series: Electronics and Energetics
Fault Tolerance Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Multipath Detection Scheme Using Sat
SAT-based Techniques in System Synthesis
Solving the SAT Problem Using Genetic Algorithm
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
Detection of Metamorphic and Virtualization-Based Malware Using Algebraic Specification
Journal in Computer Virology
Complexity of Max-Sat Using Stochastic Algorithms
