Asynchronous Multi-core Incremental SAT Solving
Abstract elided by the publisher.
Related papers
- Real-time Proof Checking for Distributed Incremental SAT Solving TACAS 2026
- Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob TACAS 2026
- Minimizing Counterexample with Unit Core Extraction and Incremental SAT VMCAI 2005
- Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution) TACAS 2019
- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization TACAS 2023
- Solving String Constraints Using SAT CAV 2023
- Mallob: Scalable Automated Reasoning on Demand CAV 2026
- Incremental Analysis of Evolving Alloy Models TACAS 2019