BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
3 × Germany
Collaborated with:
A.G.Veneris M.Anis B.Le B.Keng A.Goultiaeva F.Bacchus S.Safarpour F.N.Najm M.S.Abadir
Talks about:
domin (2) use (2) preprocess (1) statist (1) satisfi (1) maximum (1) leverag (1) environ (1) circuit (1) boolean (1)

Person: Hratch Mangassarian

DBLP DBLP: Mangassarian:Hratch

Contributed to:

DATE 20122012
DATE 20102010
DATE 20072007
DATE 20052005

Wrote 4 papers:

DATE-2012-LeMKV #debugging #satisfiability #using
Non-solution implications using reverse domination in a modern SAT-based debugging environment (BL, HM, BK, AGV), pp. 629–634.
DATE-2010-MangassarianLGVB #preprocessor
Leveraging dominators for preprocessing QBF (HM, BL, AG, AGV, FB), pp. 1695–1700.
DATE-2007-MangassarianVSNA #estimation #process #pseudo #satisfiability #using
Maximum circuit activity estimation using pseudo-boolean satisfiability (HM, AGV, SS, FNN, MSA), pp. 1538–1543.
DATE-2005-MangassarianA #analysis #on the #statistics
On Statistical Timing Analysis with Inter- and Intra-Die Variations (HM, MA), pp. 132–137.
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.