Yuanhong Wang

activity

20222025

e^{+} e^{-} \to π^{+} π^{-} D^{+} D^{-}

cross sections at center-of-mass energies from 4.190 to 4.946 GeV

15 citations · 16 across the 5 of their papers we have counts for

collaborators

5 papers

cs.AI2025

Faster Lifting for Ordered Domains with Predecessor Relations

Kuncheng Zou, Jiahao Mai, Yonggang Zhang +4

We investigate lifted inference on ordered domains with predecessor relations, where the elements of the domain respect a total (cyclic) order, and every element has a distinct (cl…

cs.LO2025

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity

Qiaolan Meng, Juhua Pu, Hongting Niu +3

We study the model enumeration problem of the function-free, finite domain fragment of first-order logic with two variables ( $F O^{2}$ ). Specifically, given an $F O^{2}$ sentence $Γ$ and…

hep-ex2025

Observation of the decay $ψ (3686) \to Σ^{0} Σ ˉ^{0} ω$

BESIII Collaboration, M. Ablikim, M. N. Achasov +689

Using a dataset of $(27.12 \pm 0.14) \times 1 0^{8}$ $ψ (3686)$ events collected by the BESIII detector operating at the BEPCII collider, we report the first observation of the decay $…

cs.AI2023★ 1 cited

On Exact Sampling in the Two-Variable Fragment of First-Order Logic

Yuanhong Wang, Juhua Pu, Yuyi Wang +1

In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite…

hep-ex2022★ 15 cited

Measurement of $e^{+} e^{-} \to π^{+} π^{-} D^{+} D^{-}$ cross sections at center-of-mass energies from 4.190 to 4.946 GeV

M. Ablikim, M. N. Achasov, P. Adlarson +561

Using data samples collected with the BESIII detector operating at the BEPCII storage ring, we measure the cross sections of the $e^{+} e^{-} \to π^{+} π^{-} D^{+} D^{-}$ process…

Faster Lifting for Ordered Domains with Predecessor Relations

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity

Observation of the decay ψ(3686)→Σ0Σˉ0ω

On Exact Sampling in the Two-Variable Fragment of First-Order Logic

Measurement of e+e−→π+π−D+D− cross sections at center-of-mass energies from 4.190 to 4.946 GeV

Observation of the decay $ψ (3686) \to Σ^{0} Σ ˉ^{0} ω$

Measurement of $e^{+} e^{-} \to π^{+} π^{-} D^{+} D^{-}$ cross sections at center-of-mass energies from 4.190 to 4.946 GeV