Andy Jinqing Yu

Available identifiers

zbMath Open yu.andy-jinqingMaRDI QIDQ3522893

List of research outcomes

Publication	Date of Publication	Type
High multiplicity strip packing with three rectangle types	2023-08-03	Paper
Improving Static Variable Orders Via Invariants	2009-03-11	Paper
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis	2008-09-04	Paper
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams	2007-09-03	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
On $\operatorname{Alt}(n)$-modules with an additive dimension when $n\le6$	N/A	Paper

Research outcomes over time

This page was built for person: Andy Jinqing Yu