Travelled to:1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:I.L.Markov K.A.Sakallah J.P.M.Silva
Talks about:symmetri (1) satisfi (1) boolean (1) anatomi (1) solver (1) modern (1) updat (1) studi (1) scale (1) match (1)
Person: Hadi Katebi
DBLP: Katebi:Hadi
Contributed to:
2011
20102010Wrote 3 papers:
- SAT-2011-KatebiSS #empirical #satisfiability
- Empirical Study of the Anatomy of Modern Sat Solvers (HK, KAS, JPMS), pp. 343–356.
- DATE-2010-KatebiM #scalability
- Large-scale Boolean matching (HK, ILM), pp. 771–776.
- SAT-2010-KatebiSM #satisfiability #symmetry
- Symmetry and Satisfiability: An Update (HK, KAS, ILM), pp. 113–127.