Similar Items: Dsat: A Native SAT Solver for Discrete Logic
- Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
- Computing Short SAT Implicants via Ising/QUBO Encodings
- Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
- A Logic of Inability
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
- A Fibrational Perspective on Differential Linear Logic