Travelled to:1 × Germany
2 × France
Collaborated with:M.Safar M.W.El-Kharashi M.Shalan ∅
Talks about:reconfigur (2) solver (2) sat (2) synchron (1) interact (1) conflict (1) present (1) pipelin (1) system (1) semant (1)
Person: Ashraf Salem
DBLP: Salem:Ashraf
Contributed to:
201120072003Wrote 3 papers:
- DATE-2011-SafarESS #configuration management #pipes and filters #satisfiability
- A reconfigurable, pipelined, conflict directed jumping search SAT solver (MS, MWEK, MS, AS), pp. 1243–1248.
- DATE-2007-SafarSES #configuration management #interactive #satisfiability
- Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver (MS, MS, MWEK, AS), pp. 153–158.
- DATE-2003-Salem #semantics
- Formal Semantics of Synchronous SystemC (AS), pp. 10376–10381.