PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas

no code implementations • 26 Dec 2023 • Yong Lai, Zhenghang Xu, Minghao Yin

The experiments on three domains of benchmarks show that PBCounter is superior to the model counters on CNF formulas.

A High-fidelity, Machine-learning Enhanced Queueing Network Simulation Model for Hospital Ultrasound Operations

no code implementations • 12 Apr 2021 • Yihan Pan, Zhenghang Xu, Jin Guang, Jingjing Sun, Chengwenjian Wang, Xuanming Zhang, Xinyun Chen, J. G. Dai, Yichuan Ding, Pengyi Shi, Hongxin Pan, Kai Yang, Song Wu

To address the issue, we propose a novel two-level routing component to the queueing network model.

BIG-bench Machine Learning