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: Fu:Zhaohui
Contributed to:
2007
2006
20052005Wrote 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.