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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andy Jinqing Yu