Skip to content
Log in

Author

Xiang Du

h-index 0 View on Semantic Scholar

We have 1 of 5 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Jul 2026

Decomposition-Based Checking and Local Certification for Propositional Circumscription via Minimal Reducts

The results provide a formal basis for local, replayable certification of propositional circumscription models and provide a sound and complete checker that contracts certified minimized atoms and records origin-preserving certificate fragments over the original clauses.

Zhongtao Xie, Xin Zhou, Hongbo Hu et al. · 0 citations