Explanipedia

An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques Open

Mingwei Zhang, Cunjing Ge, Z. g. Chen, Quanlong Guan · 2025

Linear constraints are one of the most fundamental constraints in fields such as computer science, operations research and optimization. Many applications reduce to the task of model counting over integer linear constraints (MCILC). In thi…

Optimizing Reliability and Energy Efficiency in Heterogeneous Multicore Systems: A Novel Task Deployment Strategy Open

Yin-Rong Zhuo, Z. g. Chen, Ing-Chao Lin · 2025

The Global Macro Database: A New International Macroeconomic Dataset Open

Karsten Müller, Chenzi Xu, Mohamed Lehbib, Z. g. Chen · 2025

The Global Macro Database: A New International Macroeconomic Dataset Open

Karsten Müller, Chenzi Xu, Mohamed Lehbib, Z. g. Chen · 2025

The Global Macro Database: A New International Macroeconomic Dataset Open

Karsten Müller, Chenzi Xu, Mohamed Lehbib, Z. g. Chen · 2025

Z. g. Chen YOU? Author Swipe