Zhe Quan

From MaRDI portal
Person:2101910



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!

PublicationDate of PublicationType
PACF: a precision-adjustable computational framework for solving singular values
Applied Mathematics and Computation
2022-12-07Paper
Exact MinSAT Solving
Theory and Applications of Satisfiability Testing – SAT 2010
2010-09-29Paper


Research outcomes over time


This page was built for person: Zhe Quan