papers
Publications (14)
cs.AI2011
Phase Transitions in Knowledge Compilation: an Experimental Study
Jian Gao, Minghao Yin, Ke Xu
cs.AI2017
Diversified Top-k Partial MaxSAT Solving
Junping Zhou, Huanyao Sun, Feifei Ma +3
cs.AI2017
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function
Yiyuan Wang, Shaowei Cai, Minghao Yin
cs.LG2019
On the Mathematical Understanding of ResNet with Feynman Path Integral
Minghao Yin, Xiu Li, Yongbing Zhang +1
cs.AI2011
Worst-Case Upper Bound for (1, 2)-QSAT
Minghao Yin
cs.AI2010
Phase Transitions of Plan Modification in Conformant Planning
Junping Zhou, Minghao Yin
cs.AI2010
New worst upper bound for #SAT
Junping Zhou, Minghao Yin, Chunguang Zhou
cs.AI2011
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems
Jian Gao, Minghao Yin, Junping Zhou
cs.AI2013
Approximate Counting CSP Solutions Using Partition Function
Junping Zhou, Weihua Su, Minghao Yin
cs.AI2011
New Worst-Case Upper Bound for #XSAT
Junping Zhou, Minghao Yin
cs.AI2011
New Worst-Case Upper Bound for X3SAT
Junping Zhou, Minghao Yin
cs.AI2011
Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm
Minghao Yin, Ping Huang
cs.AI2014
Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition
Yong Lai, Dayou Liu, Minghao Yin
cs.DS2019
An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs
Luzhi Wang, Chu-Min Li, Junping Zhou +2