BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Katebi:Hadi

Contributed to:

SAT 20112011
DATE 20102010
SAT 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.