Parallelizing Partial MUS Enumeration. - Wenting Zhao 002; Mark H. Liffiton (ICTAI, 2016)

Finding Graph Decompositions via SAT. - Wenting Zhao 002; Mark H. Liffiton; Peter Jeavons 001; Dan Roberts (ICTAI, 2017)

Deep Reasoning Networks: Thinking Fast and Slow. - Di Chen 001; Yiwei Bai; Wenting Zhao 002; Sebastian Ament; John M. Gregoire; Carla P. Gomes (CoRR, 2019)

Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning. - Di Chen 001; Yiwei Bai; Wenting Zhao 002; Sebastian Ament; John M. Gregoire; Carla P. Gomes (ICML, 2020)

HOT-VAE: Learning High-Order Label Correlation for Multi-Label Classification via Attention-Based Variational Autoencoders. - Wenting Zhao 002; Shufeng Kong; Junwen Bai; Daniel Fink 002; Carla P. Gomes (AAAI, 2021)

Zero Training Overhead Portfolios for Learning to Solve Combinatorial Problems. - Yiwei Bai; Wenting Zhao 002; Carla P. Gomes (CoRR, 2021)

Evaluating Multi-label Classifiers with Noisy Labels. - Wenting Zhao 002; Carla P. Gomes (CoRR, 2021)

Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning. - Di Chen 001; Yiwei Bai; Sebastian Ament; Wenting Zhao 002; Dan Guevarra; Lan Zhou; Bart Selman; R. Bruce van Dover; John M. Gregoire; Carla P. Gomes (CoRR, 2021)

Automating crystal-structure phase mapping by combining deep learning with constraint reasoning. - Di Chen 001; Yiwei Bai; Sebastian Ament; Wenting Zhao 002; Dan Guevarra; Lan Zhou; Bart Selman; R. Bruce van Dover; John M. Gregoire; Carla P. Gomes (Nat. Mach. Intell., 2021)