Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Xishun Zhao
Researcher
PaperProof System for Plan Verification under 0-Approximation SemanticsAuthorship / preprint / 2011PaperA Logic that Captures P on Ordered StructuresAuthorship / preprint / 2022PaperOn Davis-Putnam reductions for minimally unsatisfiable clause-setsAuthorship / preprint / 2012PaperOn variables with few occurrences in conjunctive normal formsAuthorship / preprint / 2011PaperCanonical Logic Programs are Succinctly Incomparable with Propositional FormulasAuthorship / preprint / 2015PaperParameters for minimal unsatisfiability: Smarandache primitive numbers and full clausesAuthorship / preprint / 2015PaperUnsatisfiable hitting clause-sets with three more clauses than variablesAuthorship / preprint / 2016