Mingxuan Yuan
Orcid: 0000-0002-2236-8784
According to our database1,
Mingxuan Yuan
authored at least 142 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
UDC: A Unified Neural Divide-and-Conquer Framework for Large-Scale Combinatorial Optimization Problems.
CoRR, 2024
DPN: Decoupling Partition and Navigation for Neural Solvers of Min-max Vehicle Routing Problems.
CoRR, 2024
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection.
CoRR, 2024
Instance-Conditioned Adaptation for Large-scale Generalization of Neural Combinatorial Optimization.
CoRR, 2024
Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming.
CoRR, 2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation.
CoRR, 2024
CoRR, 2024
An Example of Evolutionary Computation + Large Language Model Beating Human: Design of Efficient Guided Local Search.
CoRR, 2024
Joint Directory, File and IO Trace Feature Extraction and Feature-based Trace Regeneration for Enterprise Storage Systems.
Proceedings of the 40th IEEE International Conference on Data Engineering, 2024
Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024
PreRoutGNN for Timing Prediction with Order Preserving Partition: Global Circuit Pre-training, Local Delay Learning and Attentional Cell Modeling.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Mach. Intell. Res., October, 2023
Proc. VLDB Endow., 2023
Proc. ACM Manag. Data, 2023
Neurocomputing, 2023
A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design.
CoRR, 2023
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline.
Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023
Proceedings of the International Joint Conference on Neural Networks, 2023
Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model.
Proceedings of the Eleventh International Conference on Learning Representations, 2023
ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs.
Proceedings of the Eleventh International Conference on Learning Representations, 2023
EasySO: Exploration-enhanced Reinforcement Learning for Logic Synthesis Sequence Optimization and a Comprehensive RL Environment.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023
IT-DSE: Invariance Risk Minimized Transfer Microarchitecture Design Space Exploration.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023
EasyMap: Improving Technology Mapping via Exploration-Enhanced Heuristics and Adaptive Sequencing.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
2022
Multiobjective Optimization-Aided Decision-Making System for Large-Scale Manufacturing Planning.
IEEE Trans. Cybern., 2022
Pattern Recognit., 2022
CoRR, 2022
A Data-Driven Column Generation Algorithm For Bin Packing Problem in Manufacturing Industry.
CoRR, 2022
Introduction to The Dynamic Pickup and Delivery Problem Benchmark - ICAPS 2021 Competition.
CoRR, 2022
Comput. Ind. Eng., 2022
Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-Based Policy Learning.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022
Proceedings of the 23rd IEEE International Conference on Mobile Data Management, 2022
Proceedings of the IEEE International Test Conference, 2022
Batch Sequential Black-Box Optimization with Embedding Alignment Cells for Logic Synthesis.
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022
2021
IEEE Trans. Mob. Comput., 2021
IEEE Trans. Knowl. Data Eng., 2021
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021
A Hierarchical Reinforcement Learning Based Optimization Framework for Large-scale Dynamic Pickup and Delivery Problems.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
A Multi-Graph Attributed Reinforcement Learning based Optimization Algorithm for Large-scale Hybrid Flow Shop Scheduling Problem.
Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021
Proceedings of the 37th IEEE International Conference on Data Engineering, 2021
Learning to Pack: A Data-Driven Tree Search Algorithm for Large-Scale 3D Bin Packing Problem.
Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021
Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021
Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021
2020
IEEE Trans. Vis. Comput. Graph., 2020
DFSeer: A Visual Analytics Approach to Facilitate Model Selection for Demand Forecasting.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
IEEE Trans. Knowl. Data Eng., 2019
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019
Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019
Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019
2018
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018
Proceedings of the 19th IEEE International Conference on Mobile Data Management, 2018
A Data-Driven Three-Layer Algorithm for Split Delivery Vehicle Routing Problem with 3D Container Loading Constraint.
Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2018
Qualitative Instead of Quantitative: Towards Practical Data Analysis Under Differential Privacy.
Proceedings of the Database Systems for Advanced Applications, 2018
A Two-Layer Algorithmic Framework for Service Provider Configuration and Planning with Optimal Spatial Matching.
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018
Proceedings of the Algorithms for Sensor Systems, 2018
2017
Detecting and Analyzing Urban Regions with High Impact of Weather Change on Transport.
IEEE Trans. Big Data, 2017
Sci. China Inf. Sci., 2017
Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2017
Proceedings of the 18th IEEE International Conference on Mobile Data Management, 2017
Proceedings of the 18th IEEE International Conference on Mobile Data Management, 2017
Proceedings of the 18th IEEE International Conference on Mobile Data Management, 2017
Proceedings of the 2017 IEEE Conference on Computer Communications Workshops, 2017
Traffic Prediction Based Power Saving in Cellular Networks: A Machine Learning Method.
Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2017
Proceedings of the Web and Big Data, 2017
Proceedings of the Databases Theory and Applications, 2017
2016
TelCoVis: Visual Exploration of Co-occurrence in Urban Human Mobility Based on Telco Data.
IEEE Trans. Vis. Comput. Graph., 2016
IEEE Trans. Knowl. Data Eng., 2016
ACM Trans. Intell. Syst. Technol., 2016
Exploring cell tower data dumps for supervised learning-based point-of-interest prediction (industrial paper).
GeoInformatica, 2016
Toward accurate energy-efficient cellular network: switching off excessive carriers based on traffic profiling.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016
Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016
Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016
2015
World Wide Web, 2015
J. Inf. Sci. Eng., 2015
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015
Proceedings of the 2015 IEEE International Conference on Data Mining, 2015
Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015
Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015
2014
Proceedings of the Social Networks: Analysis and Case Studies, 2014
OceanST: A Distributed Analytic System for Large-Scale Spatiotemporal Mobile Broadband Data.
Proc. VLDB Endow., 2014
Protect You More Than Blank: Anti-Learning Sensitive User Information in the Social Networks.
J. Comput. Sci. Technol., 2014
Proceedings of the International Conference on Management of Data, 2014
Exploring cell tower data dumps for supervised learning-based point-of-interest prediction.
Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2014
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
2013
IEEE Trans. Knowl. Data Eng., 2013
Proceedings of the Database Systems for Advanced Applications, 2013
2012
Proceedings of the 12th IEEE International Conference on Data Mining, 2012
Proceedings of the Database Systems for Advanced Applications, 2012
2011
IEEE Trans. Knowl. Data Eng., 2011
Proceedings of the Database Systems for Advanced Applications, 2011
2010
Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs.
ACM Trans. Design Autom. Electr. Syst., 2010
2009
An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009
2008
A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems.
IEEE Trans. Ind. Informatics, 2008
Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008
Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008
2007
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007
Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking.
Proceedings of the 44th Design Automation Conference, 2007
2005
Dynamic privacy management: a plug-in service for the middleware in pervasive computing.
Proceedings of the 7th Conference on Human-Computer Interaction with Mobile Devices and Services, 2005