Lintao Zhang

From MaRDI portal
Person:3390242

Available identifiers

zbMath Open zhang.lintaoMaRDI QIDQ3390242

List of research outcomes





PublicationDate of PublicationType
Adaptive Page Migration Policy With Huge Pages in Tiered Memory Systems2022-03-24Paper
Influence of the geometry on the two- and three-dimensional dynamics of the flow in a 180\(\deg\) sharp bend2015-07-07Paper
Theory and Applications of Satisfiability Testing2009-07-24Paper
Designing an Efficient Hardware Implication Accelerator for SAT Solving2008-05-27Paper
Applications of SAT Solvers to Cryptanalysis of Hash Functions2007-09-04Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper
Computer Aided Verification2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q48090682004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48048832003-05-01Paper

Research outcomes over time

This page was built for person: Lintao Zhang

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3390242&oldid=7217502"
Powered by MediaWiki