Similar Items: Computing Short SAT Implicants via Ising/QUBO Encodings
- Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
- Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
- Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
- Computing Witnesses Using the SCAN Algorithm
- Evidence-Tracked Tape Semantics for Probabilistic Computation
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic