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 × Canada
1 × USA
2 × Germany
Collaborated with:
S.Malik A.Gupta K.L.McMillan Y.Yu Y.S.Mahajan
Talks about:
sat (2) composit (1) satisfi (1) problem (1) partial (1) generat (1) circuit (1) assumpt (1) zchaff (1) solver (1)

Person: Zhaohui Fu

DBLP DBLP: Fu:Zhaohui

Contributed to:

CAV 20072007
SAT 20062006
DATE 20052005
SAT 20042005

Wrote 4 papers:

CAV-2007-GuptaMF #automation #composition #generative #verification
Automated Assumption Generation for Compositional Verification (AG, KLM, ZF), pp. 420–432.
SAT-2006-FuM #on the #problem #satisfiability
On Solving the Partial MAX-SAT Problem (ZF, SM), pp. 252–265.
DATE-2005-FuYM #satisfiability
Considering Circuit Observability Don’t Cares in CNF Satisfiability (ZF, YY, SM), pp. 1108–1113.
SAT-J-2004-MahajanFM05 #named #performance #satisfiability
Zchaff2004: An Efficient SAT Solver (YSM, ZF, SM), pp. 360–375.

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.