conftrace_

proof system

11 papers

Explore in graph

Co-occurring keywords · papers mentioning both

proof complexity (3) model counting (2) quantified boolean formula (2) set cardinality (1) algorithmic verification (1) resolution system (1) algebraic proof (1) independent verification (1) human-auditable explanation (1) graph concept reasoning (1)

Papers

Proof Systems for Tensor-based Model Counting AAAI 2026 Proof Systems That Tightly Characterise Model Counting Algorithms AAAI 2026 Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025 Proof Simulation via Round-based Strategy Extraction for QBF AAAI 2025 Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths AAAI 2024 Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint) IJCAI 2024 Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation IJCAI 2022 Trustworthy Monte Carlo NeurIPS 2022 Augmenting the Power of (Partial) MaxSat Resolution with Extension AAAI 2020 Logics for Sizes with Union or Intersection AAAI 2020 Towards Certified Unsolvability in Classical Planning IJCAI 2017