Similar Items: Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
- Computing Short SAT Implicants via Ising/QUBO Encodings
- Dsat: A Native SAT Solver for Discrete Logic
- MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
- Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
- Intuitionistic Common Knowledge
- Efficient Decision Procedures for RNmatrix Semantics