Travelled to:
1 × USA
Collaborated with:
F.A.Aloul A.Ramani I.Markov B.Sierawski
Talks about:
backtrack (2) solver (2) search (2) difficult (1) symmetri (1) progress (1) presenc (1) instanc (1) boolean (1) psuedo (1)
Person: Karem Sakallah
DBLP: Sakallah:Karem
Contributed to:
Wrote 3 papers:
- SAT-2002-AloulRMS #satisfiability #symmetry
- Solving difficult SAT instances in the presence of symmetry (FAA, AR, IM, KS), p. 23.
- SAT-2002-AloulRMS1 #backtracking #named
- PBS: A backtrack-search psuedo-Boolean solver and optimizer (FAA, AR, IM, KS), p. 37.
- SAT-2002-AloulSS #backtracking
- A tool for measuring progress of backtrack-search solvers (FAA, BS, KS), p. 28.