Searching for authors named "Zhaohui Fu" – sorted by Relevance.
-
On solving the Partial MAX-SAT problem
- On Solving The Partial MAX-SAT Problem ⋆ Zhaohui Fu ⋆⋆ and Sharad Malik Department of Electrical
- Cited by 7 (0 self) – Add To MetaCart
-
Two dimensional Packing for Irregular Shaped Objects
- Two-Dimensional Packing For Irregular Shaped Objects Ping Chen, Zhaohui Fu, Andrew Lim and Brian
- Cited by 1 (0 self) – Add To MetaCart
-
New Features of SAT’04 version of zChaff
- New Features of the SAT’04 versions of zChaff 1 Introduction Zhaohui Fu Yogesh Mahajan Sharad
- Cited by 4 (0 self) – Add To MetaCart
-
Zchaff2004: An efficient SAT solver
- Zchaff2004: An Efficient SAT Solver Yogesh S. Mahajan, Zhaohui Fu, and Sharad Malik Princeton
- Cited by 15 (0 self) – Add To MetaCart

