Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Karem A. Sakallah
Grasp—A New Search Algorithm for Satisfiability
Dynamic Symmetry-Breaking for Improved Boolean Optimization
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies
Modeling the Effects of Temporal Proximity of Input Transitions on Gate Propagation Delay and Transition Time
Related publications
A Hybrid Algorithm Tabu Search - GRASP for Wounded Evacuation in Disaster Response.
RAIRO - Operations Research
Management Science
Computer Science Applications
Operations Research
Theoretical Computer Science
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)
A New Search Algorithm for Discrete Stochastic Optimization
Smten With Satisfiability-Based Search
New Algorithms for Exact Satisfiability
BRICS Report Series
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
A Genetic Algorithm With Expansion Operator for the 3-Satisfiability Problem
Advanced Studies in Theoretical Physics
Mathematical Physics
Physics
Astronomy
A New Effective Search Algorithm for C60Rn Structure: Cones Product Strategy
Journal of Computer Chemistry, Japan
A New Differential Mutation Based Adaptive Harmony Search Algorithm for Global Optimization
Applied Sciences (Switzerland)
Instrumentation
Materials Science
Fluid Flow
Engineering
Computer Science Applications
Process Chemistry
Transfer Processes
Technology
