Lintao Zhang
Linyi University(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Constraint Satisfaction and Optimization, Cloud Computing and Resource Management, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Chaff(2001)2,865 cited
- → Vigilante(2005)444 cited
- → The Quest for Efficient Boolean Satisfiability Solvers(2002)277 cited
- → Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications(2003)268 cited
- → Conflict driven learning in a quantified Boolean Satisfiability solver(2002)235 cited
- → Efficient conflict driven learning in a Boolean satisfiability solver(2002)194 cited
- → KV-Direct(2017)186 cited
- → Efficient and Effective Sparse LSTM on FPGA with Bank-Balanced Sparsity(2019)179 cited
- MODIST: transparent model checking of unmodified distributed systems(2009)