Lintao Zhang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Adaptive Page Migration Policy With Huge Pages in Tiered Memory Systems IEEE Transactions on Computers	2022-03-24	Paper
Influence of the geometry on the two- and three-dimensional dynamics of the flow in a 180\(\deg\) sharp bend Physics of Fluids	2015-07-07	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2009-07-24	Paper
Designing an Efficient Hardware Implication Accelerator for SAT Solving Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper
Applications of SAT Solvers to Cryptanalysis of Hash Functions Lecture Notes in Computer Science	2007-09-04	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-15	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-15	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 2090309 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1903342 (Why is no real title available?)	2003-05-01	Paper

Research outcomes over time

This page was built for person: Lintao Zhang