Similar Items: Computing Witnesses Using the SCAN Algorithm
- Evidence-Tracked Tape Semantics for Probabilistic Computation
- Computing Short SAT Implicants via Ising/QUBO Encodings
- A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
- A formulation of D-institution using functor categories
- Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
- MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents